math-proof Claude Code プラグイン

math-proofはClaude Code向けのプラグインで、難しい研究レベルの数学問題に取り組むためのsoloとsiegeという2つのスキルを提供し、いずれも最終的にproof.mdという証明ファイルを作成します。soloスキルは1つのセッション内でClaudeが問題を段階的に進め、途中経過をノートファイルに書き出すことで、出力が途中で打ち切られても作業内容が失われないようにしています。siegeスキルは複数のサブエージェントによるラウンドを何時間もかけて繰り返す方式で、judge役のサブエージェントが論点を細分化した質問を立て、worker役のサブエージェントが並行して回答し、judgeが証明済み・反証済み・未解決の状態を台帳的に管理しながら、完成した証明を行単位で検証します。両スキルとも実行中はWebツールへのアクセスを無効にし、作業ファイルは専用のrunフォルダにまとめて保存されます。README記載によると、siegeは数時間にわたり多数のサブエージェント呼び出しを行う可能性があるため、実行前に使用量上限の確認や支出上限の設定が推奨されています。