Writes rigorous mathematical proofs for ML/AI theory. Use when asked to prove a theorem, lemma, proposition, or corollary, fill in missing proof steps, formalize a proof sketch, 补全证明, 写证明, 证明某个命题, or determine whether a claimed proof can actually be completed under the stated assumptions.
Install
npx skills add wanshuiyin/Auto-claude-code-research-in-sleep --skill proof-writernpx skills add wanshuiyin/Auto-claude-code-research-in-sleep --skill proof-writer -a claude-code -gnpx skills add wanshuiyin/Auto-claude-code-research-in-sleep --skill proof-writer -a codex -ggemini skills install https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep.git --path skills/proof-writergh skill install wanshuiyin/Auto-claude-code-research-in-sleep proof-writergit 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-writer ~/.claude/skills/proof-writer # Claude Code
cp -R /tmp/wanshuiyin__Auto-claude-code-research-in-sleep/skills/proof-writer ~/.agents/skills/proof-writer # Codex, Cursor, Gemini CLI, Copilot, OpenCode