dsh-ultramath：DeepSeek Harness 的数学建模竞赛多 Agent 求解插件

它是做什么的？

UltraMath 是 DeepSeek Harness（DSH）的数学建模竞赛多 Agent 求解插件，把获奖级数模方法论打包成原生 agent 预设与技能包。它解决数模竞赛中从读题到论文审稿全流程的繁琐与低效问题，让你在 DSH 里直接跑通「读题 → 框架 → 推导 → 编码 → 验算 → 论文 → 审稿」全流程。核心能力包括 5 个角色预设、33 篇模型库、独立验算、三席盲评、数字冻结与学术诚信门控，且完全自包含，不依赖外部仓库。

核心功能

• 5 角色预设：UltraMath 主控自包含全流程，另有数学家、工程师、作家、审稿人单阶段切入，启动时幂等同步到本地。
• 33 篇模型库 + 93 篇语料摘要方法论：按需加载，通过触发词索引与方法选择决策树推荐对应文档。
• 全流程阶段与质量门禁：Phase 0 框架 → 1 推导 → 2 编码 → 2.5 独立验算 → 3 论文 → 4 审稿，每阶段有门禁，审稿发现阻断项可回退。
• 三席独立盲评 + 结构化 scorecard：3 个互不共享上下文的评委独立打分，分歧 >20 分走证据仲裁，不取平均。
• 数字冻结与传播检测：冻结数字.json 让论文每个数字可追溯到 CSV/脚本输出，改代码后自动检测 stale 引用。
• 学术诚信 7 类门控：抄袭、数据造假、引用伪造等任一触发一票否决。

怎么使用这个插件？

在 DSH 中启用后，新建会话选择「UltraMath」主控，直接贴题目与数据附件即可全自动跑完。若只想做某一步，可用自然语言指定，如「只做问题 1 的建模和求解，先不写论文」或「已成稿，只跑评审收敛」。需要人工把关时，输入「人工把关模式」或「friendly」等触发词，每个关键决策点会停下来给编号选项确认。方法选型可直接问「这类问题该用什么模型」，插件会按触发词索引与决策树推荐并加载对应模型库文档。中途续跑时，把已有的 求解/ 目录放进工作区并说「继续求解」，会从断点继续。