proof-checker
wanshuiyin/Auto-claude-code-research-in-sleep
This tool provides systematic, adversarial verification for complex mathematical proofs contained in LaTeX format. It identifies deep logical gaps, missing assumptions (e.g., convergence issues, dimension tracking), and structural flaws using cross-model review (Codex GPT-5.4). The process iteratively fixes identified gaps, re-reviews the work until convergence, and generates a detailed, formal audit report detailing proof obligations and severity levels (Fatal, Critical, Major).