proof-checker
wanshuiyin/Auto-claude-code-research-in-sleep
This skill performs rigorous mathematical proof verification using an adversarial, cross-model review process. It reads a LaTeX proof, systematically identifies logical gaps (e.g., unjustified assertions, quantifier errors) and theoretical flaws (e.g., illegal interchanges, non-uniform convergence). It then iteratively fixes these gaps with full derivations, re-reviews, and generates a comprehensive audit report, ensuring mathematical rigor and completeness. Use this when seeking deep, academic verification of a theory paper.