前言¶
在 DSH 插件化工作方式下，数学建模、预测、优化、估计、仿真、机制分析等任务常会遇到一个问题：代码跑通、优化器返回一个解、模型觉得合理，并不等于结论正确。yohanchen1/MathModelingAgent 面向这类开放式任务，把关键结论登记为 Claim，并通过 Obligation 和 Evidence 进行验证；证据不足时保持 INCONCLUSIVE，而不是强行确定结论。
这是什么¶
MathModelingAgent 是一个面向开放式数学建模、预测、优化、估计、仿真、机制分析与数学建模竞赛题的 DSH 插件。GitHub 仓库为 yohanchen1/MathModelingAgent，仓库所有者为 yohanchen1；在 DSH 卸载命令中，包名为 dsh-math-modeling-agent。本文安装命令固定到 v0.3.1，许可证为 MIT。
它提供两个 Skill：
math-modeling-agent：用于建立和推进模型。math-modeling-audit：用于独立审计已有论文、模型或代码，逐条给出PASS/FAIL/INCONCLUSIVE，不修改原文。
核心功能¶
Claim、Obligation 与 Evidence¶
关键结论会被登记为 Claim。围绕 Claim 的验证通过 Obligation 和 Evidence 展开。裁决状态为三种：PASS、FAIL、INCONCLUSIVE。
需要特别保留 INCONCLUSIVE 的位置：它表示证据不足以确定结论，不能因为看起来合理就升级为 PASS。
可选工具¶
插件提供可插拔的工具能力，不把工具结果直接当作最终结论。
- Python：可选，用于数值计算、数据分析、优化、仿真、绘图、独立重算。
- Lean：可选，用于形式化验证。Lean 不自动安装；形式命题被证明不等于现实主张被证明。
- Wolfram：可选，用于符号计算、解析推导、恒等式验证。
- 文献研究：支持文献研究；私有原始数据不进检索。
工具缺失不会伪装成验证成功。出现缺失时，会记录缺失、降低证据等级、降低结论强度，并保留未满足的义务。
可恢复运行¶
支持可恢复运行，默认运行目录为：
math-modeling-runs/<task-id>/
MCM / ICM 终审¶
对 MCM / ICM 类题目，提供终审框架。这里需要明确：它是非 COMAP 官方评分表，不等同于官方评分。
安装与启用¶
先安装插件：
dsh plugin --profile web add github:yohanchen1/MathModelingAgent#v0.3.1
安装后检查配置：
dsh --profile web --dump-config
应看到 dsh-math-modeling-agent-skills 行。
重启以加载插件：
dsh web
如果走 npm 源通道，不要直接用 npm install 代替，否则会装到错误位置。
典型用法¶
开始建模¶
直接描述任务即可。示例：
建立这个数学建模问题的模型，先分析题目和数据。
任何“最优”“显著”“泛化”的结论都必须提供相应证据，证据不足不要强行确定。
独立审计¶
给已有论文、模型或代码，要求逐条裁决：
独立审计这份结果，逐条给出 PASS / FAIL / INCONCLUSIVE，不要帮我修改原文。
卸载¶
卸载命令：
dsh plugin --profile web remove dsh-math-modeling-agent
然后重启当前 DSH host。
适用场景与注意¶
适合以下使用：
- 处理开放式数学建模、预测、优化、估计、仿真或机制分析。
- 需要把“最优”“显著”“泛化”等关键结论与证据分开。
- 需要对已有模型、论文或代码做独立审计，并保留
PASS/FAIL/INCONCLUSIVE状态。 - 使用 MCM / ICM 类题目，并希望用非官方终审框架做自查。
使用注意：
INCONCLUSIVE不能因为看起来合理升级为PASS。ATTEMPT永远不能直接跳到SOLVED；SOLVED需要范围冻结、必选义务全PASS、关键对抗检查通过、可复现材料齐全、局限已声明。- 工具缺失不会伪装成验证成功，只会降低证据等级和结论强度。
- MCM / ICM 终审为非 COMAP 官方评分表。
- DSH 插件会随当前
dsh进程权限运行；安装前应检查源码与许可证。 - 社区目录页不是官方应用商店，链接仅用于查看插件信息和 GitHub 仓库。
链接¶
- GitHub：
https://github.com/yohanchen1/MathModelingAgent - 目录页：
https://www.skillhub.cn/plugins/yohanchen1/MathModelingAgent
