Sequence Verifiable Units (pstack)
Break multi-step work into units that each end in a checked state; stack commits so the failing test comes first and the fix on top, making the sequence prove itself.
proof: red-to-greenproof: CI artifact blocks: big-bang change with no intermediate checks
Source
https://github.com/cursor/plugins/tree/main/pstack/skills/principle-sequence-verifiable-unitsChecked 2026-10-16. Read the original before installing.
By harness
| Harness | Status | How |
|---|---|---|
| Cursor | native | Native: ships in the pstack Cursor plugin. |
| Claude Code | untested | SKILL.md format is compatible, but the skill references Cursor paths (.cursor/skills, ~/.cursor/rules) and the Task tool. Untested. |
| Grok Build | untested | Grok reads SKILL.md folders; Cursor-specific paths would need rewriting. 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.