DeepSeek Harness 插件Manifest 有效

MathModelingAgent

面向 DeepSeek Harness 的证据驱动型数学建模与独立审计技能包。

开发者工具安全与策略Skills 与工作流

4GitHub Stars0Fork 数更新于2026-09-03

源码项目主页

安装

$ dsh plugin --profile web add github:yohanchen1/MathModelingAgent#v0.5.2

插件能力与用途

基于公开仓库快照由 AI 辅助整理，内容必须有源码依据；它不等同于兼容性验证或安全验证。

源码有据

MathModelingAgent 是一个为 DeepSeek Harness 打造的数学建模与审计技能包。它基于“主张（Claim）- 义务（Obligation）- 证据（Evidence）”验证协议，通过独立计算、反例攻击、误差界评估及可复现运行日志，确保建模结论经过严格验证而非由大模型主观判定。

核心能力

基于主张与证据链的开放式数学建模与子问题拆解
独立审计技能（math-modeling-audit）逐条判定 PASS / FAIL / INCONCLUSIVE
可插拔集成 Python 隔离环境、Lean 形式化验证、Wolfram 符号计算及文献检索
基于运行账本（ledger）的崩溃恢复与可追溯状态管理
模拟 MCM / ICM 竞赛终审评估与十四节审计报告生成

适用场景

进行预测、优化、仿真与机制分析等开放式数学建模任务
对已有论文、模型代码及实验结果进行独立第三方法则审查
备战美赛（MCM/ICM）等建模竞赛并进行规范的复盘与终审模拟

适合谁

数学建模科研人员与算法工程师
MCM/ICM 建模竞赛参赛选手与指导教练
需要严谨实验复现与高可信度结论的数据科学家

文档中可确认的限制

Lean 与 Wolfram 等可选工具需自行配置本地环境，工具缺失时会自动降级证据等级
仅依赖启发式优化时无法证明全局最优解
终审评分框架为模拟评估，非 COMAP 官方评分表

DSH 兼容性

DSH Plugin 针对具体版本记录的运行验证证据。没有结果只代表我们尚未测试，不代表不兼容。

尚未测试目前还没有发布运行兼容性测试结果。

安全信号

来自包元数据和源码检查的客观信号。这些信息用于辅助判断，不代表绝对安全保证。

目前还没有发布自动安全检查信号。

来源与 Registry 记录

展示此条目的公开来源、Registry 分类与最近一次源码检查信息，并与运行验证结果明确分开。

源码仓库: yohanchen1/MathModelingAgent
Registry 来源: GitHub · dsh-plugin topic
Registry 分类: Plugin Bundle
源码检查: 0403545 · 2026-09-04

本页面基于公开源码信息独立收录。DSH Plugin 与 DeepSeek 及插件作者均无隶属关系；安装前请始终以作者仓库中的最新说明为准。

仓库活跃度

GitHub Stars: 4GitHub stars
Fork 数: 0
未关闭 Issue: 0
最近提交: 2026-09-03
最近发布: 未发现 Release