Zhen-WushuiLingchun/dsh-wolfram-bundle ↗★ 0
dsh-wolfram
DeepSeek Harness bundle for the official Wolfram/AgentTools MCP server: kernel discovery, a transparent stdio supervisor that owns only its own Wolfram process tree, and a native DSH permission policy over the Wolfram tools.
安装
$
npx -p @deepseek-ai/dsh dsh plugin --profile web add github:Zhen-WushuiLingchun/dsh-wolfram-bundle说明文档
阅读完整 README ↗配置项
两行都可以在 profile 的 cordis.patch.yml 里按 id 覆盖。一次 patch 会替换该行的整个 config,所以要把想保留的字段一起写上。
wolfram 行
| 字段 | 默认值 | 说明 |
|---|---|---|
serverName | wolfram | 工具名命名空间,模型看到 mcp____ |
mcpServerName | WolframLanguage | 启动哪个内置 AgentTools server(MCP_SERVER_NAME)。可选 Wolfram、WolframAlpha、WolframPacletDevelopment |
command | 自动发现 | 显式指定 Wolfram 可执行文件,原样使用,跳过全部探测 |
installationDirectory | 自动发现 | 显式指定安装目录,按平台拼可执行文件 |
args | 官方启动参数 | 覆盖传给 Wolfram 的参数(高级用法) |
env | {} | 额外环境变量,合并在 MCP_SERVER_NAME 之上 |
cwd | 继承 | Wolfram 进程的工作目录 |
graceMs | 1000 | 关闭内核 stdin 后等多久再强杀进程树。必须 < 2000(见下) |
recordDirectory | $DSH_HOME/.dsh-wolfram | supervisor 记录自己子进程的位置 |
reclaimOrphans | true | 装载/卸载时回收被强杀的 supervisor 遗留的 Wolfram 进程树 |
probeWolframScript | true | 允许用 wolframscript 探测安装目录(最后一步,要启内核,慢) |
probeTimeoutMs | 30000 | 上述探测的超时 |
toolCallTimeoutMs | 120000 | 单次工具调用的传输超时 |
failOnStartupError | false | 首次连接失败时是否让插件装载失败 |
reconnect | mcp-client 默认 | 断线重连策略,原样透传给 mcp-client |
wolfram-permission 行
| 字段 | 默认值 | 说明 |
|---|---|---|
serverName | wolfram | 必须和 wolfram 行一致,策略靠它认出自己要守的工具 |
unknown | ask | 未分级 Wolfram 工具的决策,可改成 deny |
ask | 见上表 | 整表替换:工具名 → 审批理由 |
additionalAsk | {} | 在生效表之上追加条目,不丢默认值 |
delegate | [WolframLanguageContext, WolframAlphaContext, SymbolDefinition] | 整表替换:交给后续策略的只读工具 |
覆盖示例
写在 $DSH_HOME/profiles/ /cordis.patch.yml: