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）机制推进建模与独立复查，支持 Python、Lean、Wolfram 等计算工具降级与状态恢复，确保结论具备可复现的验证依据。

核心能力

基于闭环反馈的建模、执行、验证与纠偏工作流
基于 Claim-Obligation-Evidence 的严谨验证协议与状态门禁
提供 math-modeling-audit 技能用于论文独立复查与模拟 MCM/ICM 终审
可插拔计算后端支持，适配 Python 隔离运行、Lean 形式化验证与 Wolfram 符号计算
支持输入快照 SHA-256 校验、原子化 Run/Ledger 状态管理与崩溃恢复

适用场景

高校数学建模竞赛（MCM/ICM、国赛等）方案推演与可信报告生成
科学计算与工程仿真论文的独立复核与边界反例攻击
复杂数学优化与参数敏感性分析的多轮自动化求解

适合谁

数学建模竞赛参赛者与科研工作者
科学计算与数据分析工程师
需要严密可解释验证链的 AI Agent 开发者

文档中可确认的限制

Lean 与 Wolfram 等外部数学计算引擎不随插件自动分发，需本地环境配置支持
内置 MCM/ICM 评分仅为论文质量评估代理指标，非 COMAP 官方评分标准

DSH 兼容性

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

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

安全信号

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

依赖数量

package.json 声明了 0 个运行依赖、0 个开发依赖、0 个 Peer 依赖和 0 个可选依赖。

信息

已声明 DSH Bundle

package.json 中声明了 DSH Bundle 元数据。

信息

已声明许可证

GitHub 报告该仓库许可证为 MIT。

信息

已获取 package.json

已获取仓库根目录 package.json，可用于 Registry 元数据检查。

信息

源码可用

本次 Registry 快照已获取公开 GitHub 源码元数据。

信息

来源与 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