MathModelingAgent：面向数学建模与竞赛题的证据驱动验证插件

MathModelingAgent 是面向开放式数学建模、预测、优化等任务的 DSH 插件，旨在解决代码运行正常但结论可能错误的问题。其核心机制是将关键结论登记为 Claim，并通过 Obligation 和 Evidence 进行验证，明确区分 PASS、FAIL 和 INCONCLUSIVE 三种状态，特别强调在证据不足时保留 INCONCLUSIVE 状态，避免强行确定结论。 该插件提供两个 Skill：math-modeling-agent 用于推进模型，math-modeling-audit 用于独立审计，不修改原文。支持 Python、Lean、Wolfram 等可选工具进行数值计