deepseekplugins

DeepSeek Harness 插件

dsh-plugin

数学 Agent 框架接入 DeepSeek Harness：符号推导引擎（CES/二次型/ODE/PDE）、SymPy 验证、Lean 4 真编译验证的形式化证明、QED 多 Agent 对抗验证，经 TS 壳桥接 Python 引擎暴露为 DSH 原生工具。需先克隆 math-agent-framework 仓库并 `pip install -r requirements.txt`，将 MATH_AGENT_HOME 指向仓库根目录。所有结果携带 provenance（引擎版本/seed/容差）并标记为不可信数据。

Skills 与任务指令
跳到安装方式

来源信息

GitHub 仓库
symmetryseeker/math-agent-framework
最近更新
2026年8月28日
分类
Skills 与任务指令
GitHub stars
5
载体类型
skill
包路径
dsh-plugin
目录来源
awesome-dsh-plugin
目录证据
社区目录收录

目录收录只用于发现。本站没有安装、运行或安全审核这个插件。

安装

默认先复制一段 Prompt，让 Agent 读 GitHub 仓库和源码；需要自己装时再切到命令。

复制这段 Prompt，发给 DSH、Codex 或其他 Agent，让它先读 GitHub 仓库和源码。

请先不要安装或执行任何命令。阅读这个插件的 GitHub 仓库、README 和关键源码，然后用清楚、直接的方式回答以下问题，帮助我判断它是否适合我的需求：

1. 这个插件是什么，解决什么问题；
2. 适合哪些用户和典型使用场景；
3. 安装后如何使用，并给出一个最小使用示例；
4. 有哪些已知限制，以及隐私、安全、兼容性或维护风险；
5. 给出“推荐 / 有条件推荐 / 不推荐”的明确建议和理由。

请区分仓库明确说明、根据源码推断和未知信息。证据不足时请明确说明，不要猜测或照抄 README。

GitHub：https://github.com/symmetryseeker/math-agent-framework/tree/HEAD/dsh-plugin
插件名：math-agent-framework#dsh-plugin
作者：symmetryseeker

目录事实

以下内容根据社区目录记录整理，并链接到 GitHub 原始仓库。

目录观察

  • 目录身份为 symmetryseeker/math-agent-framework#dsh-plugin，来源为 awesome-dsh-plugin。
  • 当前记录只有社区目录收录证据，没有本站核对的 dsh.bundle 路径。
  • 目录给出的安装命令：dsh plugin --profile web add github:symmetryseeker/math-agent-framework#path:/dsh-plugin
  • 目录中文观察：数学 Agent 框架接入 DeepSeek Harness：符号推导引擎（CES/二次型/ODE/PDE）、SymPy 验证、Lean 4 真编译验证的形式化证明、QED 多 Agent 对抗验证，经 TS 壳桥接 Python 引擎暴露为 DSH 原生工具。需先克隆 math-agent-framework 仓库并 `pip install -r requirements.txt`，将 MATH_AGENT_HOME 指向仓库根目录。所有结果携带 provenance（引擎版本/seed/容差）并标记为不可信数据。

这条记录可以用来

  • 查找 symmetryseeker 发布的「Skills 与任务指令」插件 math-agent-framework#dsh-plugin。
  • 这条目录记录指向仓库内路径 dsh-plugin（symmetryseeker/math-agent-framework#dsh-plugin）。

安装前核对

  • 本站没有安装、执行或安全审核 math-agent-framework#dsh-plugin。
  • 目录收录不表示认证、兼容保证或生产可用。
  • 运行安装命令前，请在 GitHub 上核对 symmetryseeker/math-agent-framework#dsh-plugin 的许可证、权限和卸载方式。
返回搜索打开 GitHub 仓库

更多相关插件

查看分类