sp-verify

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.