概要
This skill enforces a rigorous 'evidence-first' workflow for Claude, preventing it from claiming success or completion without providing fresh verification data. By requiring a strict gate function—identifying the proof command, executing it, and analyzing the full output—it eliminates common failures like 'should-work' assumptions and unverified bug fixes. It is essential for maintaining high code quality and trust, ensuring that every claim of success is backed by recent test results, linter outputs, or build logs rather than mere confidence.