カテゴリ: 数学

「数学」カテゴリの Claude Code プラグインは現在 2 件。

名前	説明	カテゴリ	作者
math-olympiad	競技数学(IMO・Putnam・USAMOなど)の証明を、自己検証では見逃す欠陥を専用検証者が別視点から厳しく検証しつつ解き、根拠が不十分な場合は無理に答えず判断を保留するツールです。	数学	Anthropic
math-proof	難問の数学証明を支援するツール群です。soloはセッション自身が段階的に解き、ノートを残しながら進めます。siegeは審査役と作業役のサブエージェントを長時間繰り返し用い、証明済みの範囲と未証明の範囲を明確に示します。いずれも最終的にproof.mdとして結果をまとめます。	数学	Anthropic