Menu
Use after implementation to verify acceptance criteria, review findings, and close progress.md gates before completion.
Instalar com Codex ou Claude Copie este prompt, cole no Codex, Claude ou outro assistente e deixe que ele revise a página da skill e instale para você.
Baseado na classificação ocupacional SOC
Use only when the user explicitly allows bounded unattended execution of an approved Alloy task.
Use when encountering a bug, regression, failing command, or unexpected behavior before attempting a fix.
Use before planning when requirements are ambiguous, large, user-visible, or likely to cause rework unless decisions are locked.
Use when implementing an approved Alloy plan. Maintains progress.md, enforces TDD/debug discipline, and stops on blocked gates.
Use when a task needs broad source understanding before planning or execution.
Use when turning context or a clear user request into an implementation-ready plan with acceptance criteria, files, commands, gates, risks, and handoff.
| name | alloy-verify |
| description | Use after implementation to verify acceptance criteria, review findings, and close progress.md gates before completion. |
Builder uses this skill to decide whether a task can close.
Read:
.alloy/tasks/<task-id>/plan.md
.alloy/tasks/<task-id>/progress.md
Also inspect the current diff, relevant tests, generated outputs, and any QA report.
## Gate are present and meaningful.plan.md.progress.md with review and verification results.alloy gate check --task-id <id> --json.Write or update this in progress.md or qa.md:
## Verification Matrix
| AC | Proof | Command/File | Status | Risk |
| --- | --- | --- | --- | --- |
| AC-1 | | | pass/fail | |
review only after review findings are resolved or explicitly accepted as concerns.verified only after required commands pass in this session.Return:
DONE: all ACs satisfied, gates pass, no material risk.DONE_WITH_CONCERNS: ACs satisfied, but known non-blocking risk remains.NEEDS_CONTEXT: user decision required.BLOCKED: required gate, command, credential, service, or fix is unavailable.Include task id, AC matrix summary, commands run, gate status, review findings, QA findings, and handoff notes.