Zhen-WushuiLingchun/dsh-wolfram-bundle

Zhen-WushuiLingchun★ 0JavaScriptLast synced: 2026-08-16

Open on GitHub

README excerpt

dsh-wolfram 把 Wolfram 官方 Wolfram/AgentTools MCP Server 接进 DeepSeek Harness (DSH) 的专用集成 bundle。 它是一层薄集成,不重写任何一方:MCP 协议交给 DSH 通用的 @deepseek-ai/dsh-mcp-client ,Wolfram 工具由官方 Paclet 提供。本包只补三件中间缺口: 1. 内核发现 —— 自动找到本机的 Wolfram 可执行文件(注册表 / 标准安装根目录 / wolframscript ),也支持显式覆盖。 2. Windows 透明 stdio supervisor —— 保证连接关闭、HMR 重载、DSH 退出后, 只有本插件自己启动的那棵 Wolfram 进程树 被终止,绝不碰你已经开着的 Mathematica 前端、笔记本内核,或别的客户端启动的 AgentTools server。 3. DSH 原生权限策略 —— 求值、跑测试、读写 notebook 这类有副作用的工具执行前先经 DSH 的审批链;未知的新工具默认也要问。 前置条件 - DeepSeek Harness(提供 dsh 命令)。 - Node.js ^22.19 =24 、 pnpm ( dsh plugin 转发给 pnpm)。 - 已安装 Wolfram 桌面产品或 Wolfram Engine,且已安装 Wolfram/AgentTools Paclet: 验证: PacletObject["Wolfram/AgentTools"]["Version"] 应返回 2.2.0 或更高。 安装 add 后面可以是本地目录、tarball、git URL 或已发布的包名。 dsh plugin 会在 $DSH HOME/profiles/ / 里初始化 profile(如果还没有)、调用 pnpm 安装,然后检测到本包声明了 dsh.bundle 并把它追加进 dsh.profile.bundles 层列表。 确认它进了组合树: 输出里应该出现 id: wolfram 与 id: wolfram-permission 两行。 启动后日志里会打印实际选中的内核,例如: 想先在隔离环境里试 profile 完全由 $DSH HOME 决定,所以换一个 DSH HOME 就是一个干净的沙盒,不会碰你现有的 profile: 装上之后有什么 默认连接内置的 WolframLanguage server,模型会看到 7 个工具,名字统一带 mcp wolfram 前缀: 工具 作用 默认权限 WolframLanguageEvaluator 求值任意 Wolfram 代码 ask —— 无沙箱,可写文件、起进程、访问网络 TestReport 运行 .wlt 测试文件 …

View full README on GitHub →
Tools / Devdeepseek-harnessdsh-pluginagent

Category