Rigorous mathematical proof verification and fixing workflow. Reads a LaTeX proof, identifies gaps via cross-model review (external reviewer backend, ultra reasoning), fixes each gap with full derivations, re-reviews, and generates an audit report. Use when user says "检查证明", "verify proof", "proof check", "审证明", "check this proof", or wants rigorous mathematical verification of a theory paper.
Install
npx skills add wanshuiyin/Auto-claude-code-research-in-sleep --skill proof-checkernpx skills add wanshuiyin/Auto-claude-code-research-in-sleep --skill proof-checker -a claude-code -gnpx skills add wanshuiyin/Auto-claude-code-research-in-sleep --skill proof-checker -a codex -ggemini skills install https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep.git --path skills/proof-checkergh skill install wanshuiyin/Auto-claude-code-research-in-sleep proof-checkergit clone --depth 1 https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep /tmp/wanshuiyin__Auto-claude-code-research-in-sleep
mkdir -p ~/.claude/skills ~/.agents/skills
cp -R /tmp/wanshuiyin__Auto-claude-code-research-in-sleep/skills/proof-checker ~/.claude/skills/proof-checker # Claude Code
cp -R /tmp/wanshuiyin__Auto-claude-code-research-in-sleep/skills/proof-checker ~/.agents/skills/proof-checker # Codex, Cursor, Gemini CLI, Copilot, OpenCode