Proof Writer

This writes formal mathematical proofs for ML and AI theory with an emphasis on intellectual honesty over polish. It triages whether claims are actually provable before attempting them, builds explicit dependency maps, and refuses to paper over gaps with "clearly" or "obviously." When a theorem statement is too strong, it tells you why and either weakens the claim or identifies the missing assumption needed to complete the proof. Outputs to a structured markdown file with status, assumptions, strategy, and numbered steps. The workflow is thorough, maybe verbose for quick sketches, but valuable when you need a proof that will survive peer review or when formalizing something that might have subtle holes.

Install to Claude Code

npx -y skills add wanshuiyin/auto-claude-code-research-in-sleep --skill proof-writer --agent claude-code