dsh-math-olympiad

大模型解竞赛数学题时，最常见的失败不是不会，而是自信地给出错误答案且无法自证。dsh-math-olympiad 将解题流程拆为严谨的多阶段流水线：纯推理求解、剥离思考链后交由独立 subagent 在新鲜上下文中逐条攻击证明、最多两轮修复、仍失败则诚实输出 no confident solution 并附卡点说明。每一步都有结构约束，确保验证器看不到思考链，避免自己检查自己的幻觉。

技能运行时按 Pólya 方法论组织推理，verifier 按预定义失败模式逐条攻击（含开放问题特化测试），信心等级只有 high、medium 和诚实弃权三档。环境具备 LaTeX 引擎时可自动编译 PDF，否则回退 Markdown 数学排版，流程不崩溃。

适合准备 IMO、Putnam、USAMO、AIME 等竞赛的选手与教练，也适合需要解题加可审计验证轨迹加明确信心标签的研究场景。它不承诺正确率，但承诺流程严谨与输出诚实。