010 GitHub stars
02Anti-rationalization checks to bypass common AI shortcuts and assumptions
03Strict red-green regression test verification patterns
04Systematic Gate Function for identifying and running proof commands
05Prevention of hallucinated success through fresh terminal output analysis
06Mandatory execution of verification commands before any status claim