proof-checker
wanshuiyin/Auto-claude-code-research-in-sleep
This tool provides systematic, cross-model adversarial review for mathematical proofs written in LaTeX. It reads the proof, identifies logical gaps, missing assumptions, and technical errors (e.g., non-uniform convergence, unjustified assertions). The system then fixes these gaps with full derivations, iteratively re-reviews the content until convergence is achieved, and generates a comprehensive audit report. It is essential for academic research and theory paper validation.