Rigorous mathematical proof verification and fixing workflow. Reads a LaTeX proof, identifies gaps via fresh-agent Codex GPT-6-Astra ultra review, fixes each gap with full derivations, re-reviews, and generates an audit report. Base review is same-family provisional.
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/skills-codex/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/skills-codex/proof-checker ~/.claude/skills/proof-checker # Claude Code
cp -R /tmp/wanshuiyin__Auto-claude-code-research-in-sleep/skills/skills-codex/proof-checker ~/.agents/skills/proof-checker # Codex, Cursor, Gemini CLI, Copilot, OpenCode