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官方插件 · 数学
两项处理困难数学题的技能,皆产出独立完整的 proof.md:/math-proof:solo 让工作阶段搭配笔记档分阶段自行解题;/math-proof:siege 以评审与工作子代理轮流投入数小时,并明确说明哪些已证明、哪些尚未证明。
出处 anthropics/claude-plugins-official · 更新于 2026年10月11日 · 版权属原作者