Zhen-WushuiLingchun/dsh-wolfram-bundle0

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.

包名
dsh-wolfram
版本
0.1.0
许可证
MIT
最近更新
2026年8月16日

安装

$npx -p @deepseek-ai/dsh dsh plugin --profile web add github:Zhen-WushuiLingchun/dsh-wolfram-bundle

配置项

两行都可以在 profile 的 cordis.patch.yml 里按 id 覆盖。一次 patch 会替换该行的整个 config,所以要把想保留的字段一起写上。

wolfram

字段默认值说明
serverNamewolfram工具名命名空间,模型看到 mcp____
mcpServerNameWolframLanguage启动哪个内置 AgentTools server(MCP_SERVER_NAME)。可选 WolframWolframAlphaWolframPacletDevelopment
command自动发现显式指定 Wolfram 可执行文件,原样使用,跳过全部探测
installationDirectory自动发现显式指定安装目录,按平台拼可执行文件
args官方启动参数覆盖传给 Wolfram 的参数(高级用法)
env{}额外环境变量,合并在 MCP_SERVER_NAME 之上
cwd继承Wolfram 进程的工作目录
graceMs1000关闭内核 stdin 后等多久再强杀进程树。必须 < 2000(见下)
recordDirectory$DSH_HOME/.dsh-wolframsupervisor 记录自己子进程的位置
reclaimOrphanstrue装载/卸载时回收被强杀的 supervisor 遗留的 Wolfram 进程树
probeWolframScripttrue允许用 wolframscript 探测安装目录(最后一步,要启内核,慢)
probeTimeoutMs30000上述探测的超时
toolCallTimeoutMs120000单次工具调用的传输超时
failOnStartupErrorfalse首次连接失败时是否让插件装载失败
reconnectmcp-client 默认断线重连策略,原样透传给 mcp-client

wolfram-permission

字段默认值说明
serverNamewolfram必须和 wolfram 行一致,策略靠它认出自己要守的工具
unknownask未分级 Wolfram 工具的决策,可改成 deny
ask见上表整表替换:工具名 → 审批理由
additionalAsk{}在生效表之上追加条目,不丢默认值
delegate[WolframLanguageContext, WolframAlphaContext, SymbolDefinition]整表替换:交给后续策略的只读工具

覆盖示例

写在 $DSH_HOME/profiles/ /cordis.patch.yml