Proof Loop
/install proof-loop
Proof Loop
A sprint is not done until every acceptance criterion has a PASS verdict from a fresh verifier session.
Read references/workflow.md for the full loop spec.
Read references/brief-template.md for the agent brief format.
Read references/artifacts.md for the artifact schema.
The Loop
spec freeze -> build -> evidence -> FRESH verify -> fix -> FRESH verify
^ |
|______________________|
(repeat until all ACs = PASS)
Four Roles — Always Separate
| Role | Does | Never |
|---|---|---|
| Spec-Freezer | Writes spec.md with explicit ACs | Edits production code |
| Builder | Implements against frozen spec | Verifies own work |
| Verifier | Fresh session — verdicts each AC | Edits production code |
| Fixer | Minimal fix for what verifier flagged | Signs off on completion |
The verifier is always a fresh session. The agent that built cannot judge its own work.
Acceptance Criteria Format
Every sprint brief must include explicit ACs before build starts:
AC1: [specific, testable condition — not a task description]
AC2: [specific, testable condition]
AC3: [specific, testable condition]
Good: "AC1: A German-locale user sees all prompt form field labels in German" Bad: "AC1: Translate the form fields"
Sprint is DONE Only When
- Every AC has a PASS verdict in the verifier's
verdict.json - No problems remain in
problems.md - Full regression suite passes (if applicable)
Artifacts (stored in repo)
.agent/tasks/\x3CTASK_ID>/
spec.md -- frozen ACs + constraints + non-goals
verdict.json -- AC verdicts per phase (PASS/FAIL/UNKNOWN)
problems.md -- specific failures with file/line refs (if any)
See references/artifacts.md for schemas.
- Make sure OpenClaw is installed (local or Docker)
- Run the install command in chat:
/install proof-loop - After installation, invoke the skill by name or use
/proof-loop - Provide required inputs per the skill's parameter spec and get structured output
What is Proof Loop?
Multi-agent sprint protocol that prevents AI coding agents from declaring done without proof. Enforces spec freeze before build, role-separated subagents (bu... It is an AI Agent Skill for Claude Code / OpenClaw, with 52 downloads so far.
How do I install Proof Loop?
Run "/install proof-loop" in the OpenClaw or Claude Code chat to install it in one step — no extra setup required.
Is Proof Loop free?
Yes, Proof Loop is completely free, licensed under MIT-0. You can download, install and use it at no cost.
Which platforms does Proof Loop support?
Proof Loop is cross-platform and runs anywhere OpenClaw / Claude Code is available (cross-platform).
Who created Proof Loop?
It is built and maintained by Leo Stehlik (@leostehlik); the current version is v0.1.0.