What problem does it solve?
It prevents false or premature “done/passing/complete” statements by forcing you to run the exact verification command and use fresh evidence before you assert success.
Core Features & Use Cases
- Evidence-first completion gate: Requires identifying the specific proof command, running the full verification, and reading the complete output (including exit code and failure counts) before making any positive status claim.
- Covers common CI and engineering claims: Applies to tests, linting, builds, bug fixes, regression cycles, and requirements checklists where “trusting” reports is risky.
- Safety against subtle failure modes: Stops rationalizations like “should pass,” “looks correct,” partial checks, or agent-reported success without independent verification.
Quick Start
Use sp-verify before committing, pushing, or opening a PR to ensure your tests, build, or other required checks are freshly run and supported by the latest command output.