01Five-Step Gate Function: Structured workflow to identify, execute, and interpret proof commands.
02Requirement Checklist Validation: Mandates line-by-line verification against original project plans.
03The Iron Law: Mandatory fresh execution of verification commands before any success claim.
04Rationalization Prevention: Explicitly blocks phrases like 'should work' or 'seems correct' in favor of raw output.
05Red-Green TDD Support: Enforces regression testing by verifying failure before confirming the fix.
061 GitHub stars