Math Olympiad 竞赛数学验证器
用多轮对抗式审查求解并验证 IMO、Putnam、USAMO 和 AIME 数学题。
技能明确限制常规流程为纯推理、禁止联网，并要求发现漏洞时诚实弃答，降低了数据与外部服务风险；但工具限制依赖提示词而非强制隔离，深度模式允许 Bash/Python，且启动代理、编译 PDF 等外部或文件效果没有用户确认、数据流说明或回滚方案，因此扣分。
流程分阶段、失败重试、投票提前退出和校准弃答规则较清楚；但“8–12”个求解代理与模型默认数量不一致，文档中的“36 results”也与配置不稳定，工具限制不可强制，未提供可执行测试或异常输入的具体诊断反馈，故限制在静态上限内并扣分。
目标用户、竞赛数学场景、输入类型、输出格式和多类触发词较明确，且触发评估同时覆盖正负样例；但边界仍有宽泛触发（如“competition math”），未说明不适合非竞赛数学、教学或研究任务，也未提供中文输出或中国大陆环境适配说明。核心功能不依赖海外网络服务，但依赖代理编排能力。
SKILL.md 有元数据、分层流程、模型档位、参考提示词、触发评估和若干限制说明，仓库还提供 Apache-2.0、官方维护背景及 CI 维护信号；但版本为 0.1.0，没有技能级 changelog、维护负责人、更新路径、安装依赖说明或完整故障排查，且引用的模式数量与文档表述存在不一致，因此扣分。
方法在理论上直接覆盖解题、证明验证、反例、批量题目和 PDF 展示，且诚实弃答提高结果可用性；但静态材料没有真实输出、测试结果或独立执行证据，且代理数量、上下文隔离和 PDF 编译能力取决于未验证的运行环境，无法确认仅需轻量复核，故按静态上限扣分。
文件包含较具体的流程、提示模板、触发评估和引用的研究背景，具备一定审计性；但没有提交的技能关键路径测试、真实 CI 覆盖或第三方执行结果，研究引用也未在材料中给出可核验细节，故不超过静态上限。
- 工具限制主要依赖提示词，代理仍可能访问完整工具集；深度模式允许本地代码执行。
- 批量任务、代理标签、模型档位和验证模式的数量说明存在不一致，可能导致结果关联或成本控制失效。
- 没有技能级真实测试、失败样例、维护负责人或变更记录；PDF 输出还依赖环境中存在 LaTeX 工具。
- 未说明中文回答规范或中文竞赛题的专门适配。
它能做什么 & 适用场景
这是官方 Claude Code Plugins Directory 中的 math-olympiad 技能，专注于竞赛数学问题。它会先检查题意，再生成多个候选解，并在隔离上下文中进行针对性反驳。对于证明题，流程包含清理证明、对抗式验证、必要时修订和最终呈现。无法可靠完成时，它会明确输出“no confident solution”，而不是猜测。
识别题目的可能解释并选择拟解决的版本；针对 AIME 数值题使用多次求解和多数表决；针对 IMO、Putnam、USAMO 等证明题生成多个候选方案；从候选输出中提取干净证明；使用新的验证上下文检查定理条件、隐藏跳步、循环论证、错误的推广和发散级数等问题；在发现漏洞时启动修订流程；必要时进入允许有限 Bash/Python 计算的深度模式；若环境提供 pdflatex，可在验证通过后生成 PDF。
- 参加 IMO、USAMO 或 Putnam，需要获得完整且经过反驳检查的证明。
- 面对 AIME 数值题，希望通过多个独立解法和多数表决降低算术或推理错误。
- 已有竞赛数学证明但不确定是否正确，需要定位具体漏洞。
- 怀疑某个数学命题不成立，希望寻找反例并检查证明中的推广步骤。
- 整理一套竞赛试题，并为每道题分别求解、验证和汇编结果。
优缺点一览
- 针对竞赛数学设计了题意解释检查和具体失败模式审查。
- 验证器与求解过程隔离，减少被原始思路和其他验证结果影响。
- 采用“4 次确认、2 次否决”的非对称表决，并支持提前停止。
- 明确支持校准式弃答，避免以高置信度输出错误证明。
- 支持对完整竞赛试题集逐题处理并汇编单一 PDF。
- 主要依赖推理；标准紧预算流程不使用计算工具。
- 深度模式的 Bash/Python 计算必须有限，且仍禁止联网查题或查解。
- PDF 输出依赖环境中可用的 pdflatex 和相关脚本。
- 源材料未提供测试套件、平台覆盖或实际准确率证据。
- 完整流程可能需要多个求解器、验证器和修订代理，资源消耗较高。
如何安装
该技能位于仓库的 plugins/math-olympiad/skills/math-olympiad/SKILL.md。README 支持通过 Claude Code 插件市场安装，命令格式为 /plugin install {plugin-name}@claude-plugins-official；源材料没有给出该技能对应的确切 plugin-name，因此不要擅自替换占位符。仓库许可证为 Apache-2.0。
如何使用
直接提出具体题目或验证请求，例如：Solve this IMO problem: [题目]、Is this proof correct? [证明]、Find a counterexample to [命题]，或 Prove this olympiad inequality: [不等式]。完整证明题会按多候选求解、隔离上下文验证和必要修订的流程处理；数值题使用多数表决。它可能返回 no confident solution。