Ada

Execute these commands after EVERY implementation (see AGENT_AUTOMATION module for full workflow).

11 stars

byhivellm

View on GitHub Installation ↓

Best use case

Ada is best used when you need a repeatable AI agent workflow instead of a one-off prompt.

Execute these commands after EVERY implementation (see AGENT_AUTOMATION module for full workflow).

Teams using Ada should expect a more consistent output, faster repeated execution, less prompt rewriting.

When to use this skill

You want a reusable workflow that can be run more than once with consistent structure.

When not to use this skill

You only need a quick one-off answer and do not need a reusable workflow.
You cannot install or maintain the underlying files, dependencies, or repository context.

Installation

Claude Code / Cursor / Codex

$curl -o ~/.claude/skills/ada/SKILL.md --create-dirs "https://raw.githubusercontent.com/hivellm/rulebook/main/templates/skills/languages/ada/SKILL.md"

Manual Installation

Download SKILL.md from GitHub
Place it in .claude/skills/ada/SKILL.md inside your project
Restart your AI agent — it will auto-discover the skill

How Ada Compares

Feature / Agent	Ada	Standard Approach
Platform Support	Not specified	Limited / Varies
Context Awareness	High	Baseline
Installation Complexity	Unknown	N/A

Frequently Asked Questions

What does this skill do?

Execute these commands after EVERY implementation (see AGENT_AUTOMATION module for full workflow).

Where can I find the source code?

You can find the source code on GitHub using the link provided at the top of the page.

SKILL.md Source

<!-- ADA:START -->
# Ada Project Rules

## Agent Automation Commands

**CRITICAL**: Execute these commands after EVERY implementation (see AGENT_AUTOMATION module for full workflow).

```bash
# Complete quality check sequence:
gprbuild -P project.gpr   # Build verification
gnatcheck -P project.gpr  # Style/linting check
gprclean -P project.gpr && gprbuild -P project.gpr  # Clean build
# Run tests (project-specific command)

# SPARK verification (if using SPARK):
gnatprove -P project.gpr  # Formal verification
```

## Ada Configuration

**CRITICAL**: Use Ada 2012 or Ada 2022 with GNAT compiler.

- **Standard**: Ada 2012 or Ada 2022
- **Compiler**: GNAT 12+
- **Build**: GPRbuild
- **TestingMenuAUnit
- **StyleMenuGNAT style checks

## Code Quality Standards

### Mandatory Quality Checks

**IMPORTANT**: These commands MUST match your GitHub Actions workflows!

```bash
# Pre-Commit Checklist (MUST match .github/workflows/*.yml)

# 1. Style check (matches workflow)
gnatcheck -P your_project.gpr -rules -from=gnat_style.rules

# 2. Build with warnings as errors (matches workflow)
gprbuild -P your_project.gpr -cargs -gnatwa -gnatwe

# 3. Run static analysis (matches workflow)
gnatprove -P your_project.gpr --level=2

# 4. Run all tests (matches workflow)
gprbuild -P test_project.gpr
./bin/test_runner

# If ANY fails: ❌ DO NOT COMMIT - Fix first!
```

**Why This Matters:**
- Example: Missing `-gnatwe` (warnings as errors) = CI failures

<!-- ADA:END -->

Related Skills

We are still matching the closest adjacent skills for this page. In the meantime, continue through the full directory.