dsh-plugin
DayuanJiang/next-ai-draw-iodsh 的 draw.io 绘图插件:通过 next-ai-drawio MCP 服务器作图,点回复里的链接在右侧栏打开实时预览,可以手动修改图,AI 的每次修改都是可以恢复的版本。需 Node.js 18+,首次使用由 npx 下载 MCP 服务器。
真实计算验证门:数学化简、逻辑证明、正则校验、E-prover 一阶逻辑、状态机检查与代码修复,由 Go 编译的二进制支撑(附 Windows 预编译产物)。
将铸剑炉(forge)的确定性工具能力搬进 dsh,供模型在对话中直接调用。
| 工具 | 类型 | 说明 |
|---|---|---|
| forge_math | v1 | SymPy 数学计算与验证(simplify/solve/equals/evaluate/factor/integrate/diff) |
| forge_logic | v1 | Z3 逻辑判定与 SAT 求解(sat/prove/equivalence) |
| forge_regex | v1 | 正则验证(整串匹配 fullmatch) |
| forge_eprover | v1 | 一阶逻辑命题定理证明(内建 DPLL) |
| forge_system | v1 | 状态机模型检查器(BFS,invariant/reachability) |
| forge_repair | v1 | 代码静态修复建议(模式匹配 + 启发式) |
| forge_run | v2 新增 | 通用代码执行:python/go/node/deno/rust/tcc,写临时文件→解释器运行→回传 rc/stdout/stderr,超时硬杀 + 输出截断 |
| forge_fs | v2 新增 | 文件系统:read/write/list,限 workspace 内,越界拒绝 |
| forge_net | v2 新增 | HTTP 请求:GET/POST,返回 status + body + headers |
dsh 模型运行在沙箱内(run_code 无网络、文件围栏、仅 JS),而插件代码运行在 host 进程——沙箱约束不到插件。通过插件注册工具,给 dsh 开一条"权限虫洞":
dsh 模型 → forge_run(code, lang) → 写临时文件 → spawn 解释器/编译器 → 回传结果
→ forge_fs(action, path) → workspace 内读写列目录
→ forge_net(url, ...) → HTTP 请求(补网络权限)
D:/forge/deno/deno.exe、tcc 默认 D:/forge/tcc/tcc/tcc.exe(可用 DENO_BIN/TCC_BIN 覆盖)FORGE_GATE_BIN 指向 gate 二进制目录(发布包 bin/windows),开发环境回退本机路径node test-bridge.mjs — mock dsh ctx 的回归测试(真实执行):17 用例覆盖语言执行/错误路径/超时/文件越界/HTTP。