01Enforces a strict 'Evidence Before Claims' policy for all status updates
02Detects and blocks rationalization language like 'should pass' or 'seems to'
03Implements a mandatory gate function to identify and run proof commands
04Validates sub-agent output through independent verification and diff analysis
050 GitHub stars
06Supports TDD workflows with required Red-Green cycle verification