MathModelingAgent：面向數學建模與競賽題的證據驅動驗證插件

MathModelingAgent 是面向開放式數學建模、預測、優化等任務的 DSH 插件，旨在解決代碼運行正常但結論可能錯誤的問題。其核心機制是將關鍵結論登記爲 Claim，並通過 Obligation 和 Evidence 進行驗證，明確區分 PASS、FAIL 和 INCONCLUSIVE 三種狀態，特別強調在證據不足時保留 INCONCLUSIVE 狀態，避免強行確定結論。 該插件提供兩個 Skill：math-modeling-agent 用於推進模型，math-modeling-audit 用於獨立審計，不修改原文。支持 Python、Lean、Wolfram 等可選工具進行數值計