math-proof

兩項處理困難數學題的技能,皆產出獨立完整的 proof.md:/math-proof:solo 讓工作階段搭配筆記檔分階段自行解題;/math-proof:siege 以評審與工作子代理輪流投入數小時,並明確說明哪些已證明、哪些尚未證明。

安裝

尚未加入官方市場時先執行

分類
數學
作者
Anthropic
GitHub
anthropics/claude-plugins-official

適合用來

怎麼開始

  1. 在 Claude Code 執行 /plugin install math-proof@claude-plugins-official
  2. 先試較輕量的 /math-proof:solo,並完整寫出題目
  3. 若需要更強的嘗試再用 /math-proof:siege,開始前先用 /usage 檢查用量
  4. 完成後批判性地閱讀 proof.md,引用的文獻結果是憑記憶寫出

使用前須知

siege 會執行數十次、全部十四輪時超過一百次子代理,用量很大;用 API 金鑰時可在無人值守模式加 --max-budget-usd 限制花費。執行期間會關閉 Claude Code 的網路工具。

以上由 AI 依據專案說明整理,實際用法請以官方文件為準。

相關新聞

  1. 研究

    Anthropic研發AI數學證明确認無Bug

    Anthropic開發新技術,利用AI進行形式驗證,數學上證明軟體無Bug。該方法旨在實現「無Bug軟體」,應對AI高產量程式帶來的錯誤。

    GIGAZINE

同類工具

更多官方外掛 →

出處 anthropics/claude-plugins-official · 更新於 2026年10月11日 · 版權屬原作者