用途：面向数学竞赛题（IMO、Putnam、USAMO、AIME 等）的多智能体工作流，负责求解、验证并排版严谨证明。
主要能力：先做题意解释检查（列出 2-3 种读法，判断哪种非平凡）；并行启动 8-12 个求解智能体，各自内部迭代“求解→自改进→自验证→修正”，最多 5 轮；随后剥离思考痕迹，只保留干净证明；再由全新上下文的验证智能体进行对抗式攻击（含 12 项检查模式，如定理是否特化到 ζ 等著名开放问题、是否同义反复、单行引理的一般形式是否有 2×2 反例、定理假设是否逐条重查等）；按裁决与置信度排序，采用非对称投票（4 票 HOLDS 确认、2 票 HOLE FOUND 否决）并支持鸽巢提前退出；发现漏洞则进入最多 3 轮修订；最终做排版美化并输出 LaTeX，若 pdflatex 可用则编译 PDF。
使用方式：按问题类型选择路径——AIME 数值题用 5-7 个求解者多数投票并仅校验答案；奥赛证明题走完整流程；仅需检查证明时跳到验证步骤；整套题按题逐个跑完整流程再合并 PDF。批量时须为每个 agent() 调用设置 opts.label 以关联题号。求解与验证在紧凑预算模式下仅用思考，禁止计算；深模式允许有界本地计算（模运算、小情形枚举、符号恒等式检查），但严禁联网或查答案，单次计算超过 60 秒应终止改为符号推导。
适用场景：竞赛证明与数值题求解、证明正确性审查、证明简化与排版。
限制：验证者与求解者上下文隔离，求解者不能自验；若 3 轮修订仍失败则输出“no confident solution”并附已证部分与断点，不猜测；模型层级默认配置（Haiku/Sonnet/Opus）影响求解者数量、验证轮数与弃权阈值。具体安装命令与脚本细节资料未提供。