About
This skill implements a non-negotiable 'Iron Law' for Claude Code, preventing premature claims of success by requiring fresh, empirical evidence from verification commands. It acts as a critical gate function that mandates a systematic workflow: identifying the proof command, executing it, reading the full output, and verifying the result against the claim. By eliminating reliance on assumptions or 'should work' scenarios, it ensures high-integrity software delivery, maintains developer trust, and prevents regression errors caused by partial verification or AI overconfidence.