Menú
Use after implementation to verify acceptance criteria, review findings, and close progress.md gates before completion.
Instalar con Codex o Claude Copia este prompt, pégalo en Codex, Claude u otro asistente, y deja que revise la página de la skill y la instale por ti.
Basado en la clasificación 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.