MathModelingAgent

MathModelingAgent 是一个数学建模代理插件，专为解决开放式数学建模、预测、优化、估计、仿真等问题而设计，尤其适用于数学建模竞赛。它针对普通 LLM + Python 工作流中常见的陷阱——将代码运行成功或模型表面合理误认为结论正确——提出了根本性改进。通过引入‘模型负责提出，工具负责验证，证据决定结论’的哲学，该插件确保每个关键结论都作为‘主张’进行明确验证，从而提供可靠的科学依据。

其核心能力在于采用 Claim-Obligation-Evidence 框架：主张定义需要验证的结论，义务规定所需的证据类型（如独立重算、反例、形式验证），证据则通过工具生成并记录，只有证据充足时才支持结论。插件提供两个主要技能：math-modeling-agent 用于建立和推进模型，math-modeling-audit 用于独立审计已有模型或论文。工具如 Python、Lean 和 Wolfram 可插拔，工作流灵活，即使工具缺失也会降级处理，保持验证完整性。

该插件适合数学建模竞赛选手、研究人员、工程师以及任何需要处理复杂数学问题并重视验证的人群。它不仅帮助用户生成模型，更强调结论的可信度、可复现性和严谨性，适用于从学术研究到实际问题解决的广泛场景。通过严格验证和可恢复运行，MathModelingAgent 致力于将数学建模从主观推测提升到证据驱动的科学实践。