Goal to Proof
Closure contract: proof must be as broad as the claim. Climb from focused check to the real boundary (render, device, remote) and report which layer was verified and what remains unverified.
proof: tests run countproof: screenshotproof: logs blocks: partial artifact claimed as doneblocks: unobserved external action
Source
https://aiopshwang.github.io/goal-to-proof/Checked 2026-10-16. Read the original before installing.
By harness
| Harness | Status | How |
|---|---|---|
| Cursor | untested | Published as a generic agent skill. Untested in Cursor. |
| Claude Code | untested | Drop into .claude/skills/. Untested. |
| Grok Build | untested | Untested. |
| Codex | untested | Untested. |
| AGENTS.md generic | untested | Untested. |
By model family
| Claude | untested |
| GPT | untested |
| Grok | untested |
| Gemini | untested |
Sponsor slot: your verification tool here, one sponsor per week. Details
Proof of the week
One verification pattern every week, adapted per harness and model. No spam.