插件市场

解决 IMO、Putnam、USAMO 等数学竞赛问题，使用独立上下文验证者按具体失败模式质疑证明，并在把握不足时明确保留结论。

提供两种高难度数学解题 Skill，均输出独立的 proof.md：solo 分阶段自行推导并记录笔记，siege 以裁判和工作子 Agent 多轮攻坚，明确说明已证明与未证明内容。