dsh-ultramath：UltraMath 數學建模競賽多 Agent 求解插件
dsh-ultramath 是面向數學建模競賽的 DeepSeek Harness 多 Agent 求解插件，由 Andiii208 開發並採用 MIT 許可證。該插件通過原生 Agent 預設和技能包，將數模求解流程標準化爲“讀題、框架、推導、編碼、驗算、論文、審稿”七個階段，解決了單輪提示詞流程破碎的問題。 核心功能包括：提供 UltraMath 主控及數學家、工程師等四個單階段角色預設；內置 33 篇模型庫及論文模板，實現自包含安裝，數據冪等同步至本地；設置嚴格的質量門禁，涵蓋獨立驗算、審稿阻斷項、盲評機制及學術誠信七類門控，任一違規即一票否決。此外，引入“數字凍結”機制確保論文數據與代
閱讀全文MathModelingAgent：面向數學建模與競賽題的證據驅動驗證插件
MathModelingAgent 是面向開放式數學建模、預測、優化等任務的 DSH 插件，旨在解決代碼運行正常但結論可能錯誤的問題。其核心機制是將關鍵結論登記爲 Claim，並通過 Obligation 和 Evidence 進行驗證，明確區分 PASS、FAIL 和 INCONCLUSIVE 三種狀態，特別強調在證據不足時保留 INCONCLUSIVE 狀態，避免強行確定結論。 該插件提供兩個 Skill：math-modeling-agent 用於推進模型，math-modeling-audit 用於獨立審計，不修改原文。支持 Python、Lean、Wolfram 等可選工具進行數值計
閱讀全文