前言¶
在 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
