math-olympiad
競技数学（IMO、Putnam、USAMO）を、自己検証では見逃す誤りを捉える敵対的検証で解く。新しいコンテキストの検証者が特定の失敗パターンで証明を攻撃。はったりより適切な回答保留を優先。
導入
公式マーケットプレイスが未追加なら先に実行
- カテゴリ
- 数学
- 作者
- Anthropic
こんな用途に
- IMO、Putnam、USAMO などの競技数学の問題を解く
- 新しいコンテキストの検証役が証明を攻撃し、自己検証で見落とす誤りを見つける
- 確信がないときは無理に答えず回答を控える
始め方
- Claude Code で /plugin install math-olympiad@claude-plugins-official を実行する
- 「Solve this IMO problem: [問題文]」のように問題を貼り付ける
- IMO、Putnam、olympiad、「verify this proof」などの語でスキルが自動起動する
プロジェクトの説明をもとに AI がまとめました。利用前に公式ドキュメントをご確認ください。
似たツール
- math-proof公式プラグイン · 数学
難しい数学問題向けの 2 つのスキル。どちらも自己完結した proof.md を出力。/math-proof:solo はセッション自身がノートファイルを使って段階的に解き、/math-proof:siege は審査役と作業役のサブエージェントによるラウンドで数時間取り組み、何が証明済みで何が未証明かを明示。
出典 anthropics/claude-plugins-official · 更新日 2026年10月11日 · 著作権は各作者に帰属します