dsh-danus
v0.1.0
界面与主题
可执行外部程序写入文件发起网络请求
Danus-native DSH plugin suite: verifier-gated mathematical proof-search orchestration (fact graph, role-gated tools, cold-start verifier, worker swarm, orchestration tools, heartbeats).
该插件尚未翻译,显示作者原文。
dshdsh-plugindeepseek-harnessdanusmathproof-searchverifiermulti-agent
检测报告
关注度高。命中了不少能力模式,其中可能有需要留意的。逐条看下面的清单。
1高关注4需留意4一般15未命中
高关注需留意一般
能力清单
- 可执行外部程序
spawns-processes高关注4 处命中src/services/compile-check.ts:10import { spawnSync } from 'node:child_process'src/shared/headless.ts:11import { spawn } from 'node:child_process'src/swarm/spawn.ts:14import { spawn, spawnSync } from 'node:child_process'src/services/write-paper.ts:20import { spawnSync } from 'node:child_process'- 看它调用哪些程序。调用本机已有的工具是常见做法。
- 写入文件
writes-files需留意74 处命中…ls/main/human-summary/md2html.js:52fs.writeFileSync(outF, html);…rite-paper/driver/seed_ledger.py:174ledger.parent.mkdir(parents=True, exist_ok=True)src/services/compile-check.ts:69mkdirSync(build, { recursive: true })src/services/compile-check.ts:72copyFileSync(texAbs, buildTex)- 看写入位置。写自己的配置目录是正常的,写系统目录不是。
- 发起网络请求
network需留意4 处命中lib/client.js:45const res = await fetch(`${BASE}${path}`, {lib/client.js:2002const res = await fetch(api.exportUrl(props.project, "md"));src/client/api.ts:121const res = await fetch(`${BASE}${path}`, {src/integrations/matlas.ts:51resp = await fetch(url, {- 看请求发往哪些域名。发往作者自己的后端是常见做法。
- 可终止进程
kills-processes需留意2 处命中src/swarm/spawn.ts:4* - alive:process.kill(pid, 0);POSIX 加 /proc zombie 检测(原版语义);src/swarm/spawn.ts:36process.kill(pid, 0)src/swarm/spawn.ts:167process.kill(-pid, force ? 'SIGKILL' : 'SIGTERM') // 负 pid = 进程组- 看它终止的是自己启动的进程,还是按名字匹配到的任意进程。
- 启动伪终端
spawns-pty需留意1 处命中src/shared/headless.ts:50export function binToSpawn(bin: string, args: string[]): { cmd: string; argv: string[] } {- 伪终端等于给了一个完整 shell。确认这是插件的核心功能。
- 读取文件
reads-files一般103 处命中…ls/main/human-summary/md2html.js:13let text = fs.readFileSync(inF, 'utf8');…ls/main/human-summary/md2html.js:33if (fs.existsSync(cssPath)) katexHref = 'file://' + cssPath;src/authoring/common.ts:48if (!existsSync(pdir)) {src/authoring/common.ts:71if (!existsSync(path)) {- 读文件是绝大多数插件的正常工作方式,本身不构成顾虑。
- 读取环境变量
reads-env一般24 处命中src/authoring/common.ts:38const agentsRoot = process.env.DANUS_AGENTS_ROOT ?? ''src/authoring/common.ts:39const projectDir = process.env.DANUS_PROJECT_DIR ?? ''src/shared/env.ts:4const raw = process.env[name]src/shared/env.ts:11const v = process.env[name]- 环境变量里常混有密钥。看它是否把整个 env 都读走。
- 接触凭据或密钥
credentials一般12 处命中skills/main/write-paper/README.md:198- `latex_git_push.sh` reads its repository URL and token from a gitignored secrets file.skills/main/write-paper/README.md:219`latex_git_push.sh` reads its repository URL and token from a gitignored secrets file and commitsskills/main/initialize/SKILL.md:56Never put secrets anywhere but `config/*.env`.skills/main/initialize/SKILL.md:91- **Secrets only in `config/*.env`** — never commit `config/*.env` or `runtime/`;- 看它读取哪些凭据、发往哪里。用于登录自己的服务是正常的。
- 动态加载模块
dynamic-import一般1 处命中src/swarm/loop-main.ts:30const { kickoff } = await import('./loop.ts')- 动态导入本身无害,但会让依赖关系难以静态审阅。
逐条扫描明细
| 能力 | 标识 | 关注度 | 命中次数 |
|---|---|---|---|
| 可执行外部程序 | spawns-processes | 高关注 | 4 |
| 写入文件 | writes-files | 需留意 | 74 |
| 发起网络请求 | network | 需留意 | 4 |
| 可终止进程 | kills-processes | 需留意 | 2 |
| 启动伪终端 | spawns-pty | 需留意 | 1 |
| 读取文件 | reads-files | 一般 | 103 |
| 读取环境变量 | reads-env | 一般 | 24 |
| 接触凭据或密钥 | credentials | 一般 | 12 |
| 动态加载模块 | dynamic-import | 一般 | 1 |
这份报告的口径
扫描读的是包里的源码,全程不执行第三方代码。 本次读了 92 个文件,扫描于 2026-10-15。 命中次数只说明源码里出现过这类调用,不说明行为好坏——一个插件读写文件 500 次和 1 次 都会被记为「读取文件」。这是能力清单,不是信任评分,也不是安全结论: 没扫出来的能力可能只是写法没被规则覆盖。
依赖安全公告
已查询这个插件声明的全部依赖,没有匹配到已公开的安全公告。(含 DSH 框架包在内的 @deepseek-ai/* 不作查询——那是运行时自己的问题,不是插件的。)