| name | verify-code |
| description | Runs the full verification ladder for the greet project — format, lint, type check, tests, and CLI smoke test. Invokes before any change is claimed done. Reports the first failure verbatim and stops. |
| user-invocable | true |
verify-code
Runs the verification ladder against the greet codebase in strict order, stopping at the first failure.
Why this skill exists
A skill with YAML frontmatter is what lets the agent harness automatically discover and route to the right action. The name is how the user invokes it (/verify-code in Claude Code, $verify-code in opencode). The description is read by the harness when matching user requests against available skills — keep it specific and write in the third person (it improves match accuracy when injected into a system prompt).
Steps
Run these in order. Stop and report on the first non-zero exit code.
uv run ruff check --fix src/ tests/
uv run ruff format src/ tests/
uv run mypy src/greet
uv run pytest -q
uv run greet Ada --lang fr — expect output Bonjour, Ada!
On failure
Quote the failing command and its full output. Do not edit unrelated files trying to "fix" the failure unless the user asks. Do not skip steps.
On success
Report verify-code: all 5 steps passed and nothing else.