Fisfzy/dsh-danus

Name: Fisfzy/dsh-danus
Author: Fisfzy

Plugin插件 Native原生 ⭐ 2 Apache-2.0 Subagents & Orchestration子代理与编排 Data & Analysis数据与分析

Verifier-gated multi-agent mathematical proof-search orchestration, native to DeepSeek Harness: content-addressed fact graph, role-gated tools, cold-start verifier, worker swarm, paper/report rendering. TypeScript, cross-platform. Based on Danus (frenzymath).

Project Overview项目介绍

Edited by Zhiwei Agent (zhiwei)由知微Agent(zhiwei)编辑

dsh-danus is a TypeScript plugin built natively for the DeepSeek Harness (DSH) and ships with a bundle-manifest declaration and six role-gated tools: gm_add, gm_search, fact_submit, fact_search, fact_revoke, and search_arxiv_theorems. Its core is a content-addressed fact graph whose IDs are SHA-256 prefixes, layered on top of three-tier memory (worker-local → BM25-searchable project global memory → verified facts) and a deterministic cold-start verifier. The plugin is installed with pnpm install && pnpm test and mounted into DSH by patching three role profiles — main, danus-worker, and danus-verifier — through dsh --profile headless --patch ./dev-overlay.yml, so no Python or external MCP process is required.

A typical workflow begins with the main orchestrating agent using danus_new, assign, start, status, stop, finalize, and list to drive a worker swarm, where each round spawns a fresh isolated headless session that resumes from persisted memory. A heartbeat plugin runs the 30-minute control beat and the 4-hour macro audit by riding DSH's native goals and subagents, while submissions are funnelled through precheck filters (vacuousness thresholds plus P1/P3/P5 hard prohibitions) and then judged independently. Verified facts are rendered into a publishable LaTeX paper or a human progress report, making the project well suited for researchers and engineers who need traceable formal reasoning rather than chat-style answers.

Dependencies are minimal: Node.js, pnpm, and DSH itself; the codebase is pure TypeScript with zero DSH imports inside src/core/ and ships with 102/102 green tests plus a PARITY.md checklist mapped item by item against the upstream Danus specification by frenzymath. Cross-platform supervision is built in, including Windows process handling, deadlines, round caps, and stuck detection, and the observability dashboard is served directly from DSH's own web server at /danus, requiring no extra process. Each role profile can target its own LLM provider via agent-default-model, but the first run requires manual placement of the three cordis.patch.yml blocks documented in README.zh.md; the project is licensed under Apache-2.0.

dsh-danus 是一个为 DeepSeek Harness（DSH）原生构建的 TypeScript 数学证明搜索插件，仓库包含 bundle-manifest 清单与六款角色受限工具（是六个）：gm_add、gm_search、fact_submit、fact_search、fact_revoke 与 search_arxiv_theorems。其核心是基于内容寻址的事实图谱，事实 ID 由 SHA-256 前 16 位生成，配合三层记忆与确定性冷启动验证器；安装方式为 pnpm install && pnpm test，并通过 dsh --profile headless --patch 注入三个组合配置 main、danus-worker、danus-verifier。

典型工作流由 main 编排代理借助 danus_new / assign / start / status / stop / finalize / list 等编排工具调度 worker 蜂群，每轮启动一个独立的无头会话，依托 30 分钟控制节拍与 4 小时宏观审计的心跳插件持续推进，经冷启动验证器审核通过的事实将累积到事实图谱，最终由规划者、撰写者、审计者、修订者与验证者多角色协作渲染为可发表的 LaTeX 论文或人类可读进度报告；该插件适合从事形式化推理、文献验证或需要可追溯证明流程的科研与工程用户。

依赖方面，本项目仅依赖 Node.js、pnpm 与 DSH 自身，无需 Python 或外部 MCP 进程，跨平台运行并原生支持 Windows；测试套件 102/102 全绿，并提供 PARITY.md 一一对照原始行为规范，观测面板直接挂载于 DSH 自带的 Web 服务 /danus 路由下，无需额外部署；许可证为 Apache-2.0，模型自由度高，worker、验证器与 main 可分别指向不同 LLM 端点，但首次运行前需手动配置三个 cordis.patch.yml 块。

View on GitHub在 GitHub 查看

Send to your DSH发给你的 DSH 安装

请帮我安装这个 DSH 插件。安装前先完成【兼容性检查 + 安全性检查】，检查通过再动手。

插件：dsh-danus（Fisfzy/dsh-danus）
仓库：https://github.com/Fisfzy/dsh-danus
本站详情页：https://www.yhbd.top/plugins/fisfzy-dsh-danus/
本站登记：类型 plugin · 归类 原生 DSH 插件 · 许可证 Apache-2.0 · ⭐ 2 · 最近提交 2026-08-26 · 主语言 TypeScript

按下面顺序执行，每步先把结论告诉我，再进入下一步：

【1 兼容性检查】
① 我这边：DSH 版本、Node 版本、操作系统、当前 profile（web / desktop）。
② 读它的 README、package.json、插件 manifest，列出它要求的 DSH 版本 / Node 版本 / 操作系统 / 外部依赖 / 需要另外先装的运行时。
③ 逐条比对，结论只写「满足 / 不满足 / 未知」三种；不满足的给出可行替代方案。
④ 检查是否和我已装的插件冲突：命令名重复、skill / tool 重名、端口占用、重复注册的 MCP server。

【2 安全性检查】
① 仓库可信度：和上面「本站登记」是否一致；star / fork 数、创建时间、最近提交，是否归档或长期停更。
② 安装脚本：逐行看 package.json 的 preinstall / install / postinstall，以及 install.sh、setup.ps1 之类脚本。出现 curl|bash、下载后直接执行、混淆代码、访问与插件功能无关的域名，立刻停下来告诉我，不要继续装。
③ 依赖：列出新增依赖，标出无人维护、或与知名包拼写近似的可疑包（typosquatting）。
④ 权限与副作用：它会读写哪些目录、访问哪些域名、需要哪些 DSH 权限（filesystem / network / shell / clipboard 等），以及怎么卸载和回滚。
⑤ 如果它要求 sudo / 管理员权限，或权限明显超出功能所需，先停下来问我。

【3 安装】
上面两步没有「不满足」和「高危项」时才执行；用官方推荐方式安装，不要自行提权。

【4 汇报】
用表格输出：检查项 / 结论 / 依据 / 是否需要我决策。拿不准的一律写「未知」并说明要我怎么确认——不要猜，也不要替我决定。

Send this message to DSH in your current session: it verifies compatibility and security first (answering met / not met / unknown item by item) and only installs once everything checks out — it will stop and ask you if it finds a high-risk item. The box scrolls; the copy is the full prompt. CLI install commands may not be accurate across systems, so DSH is the safer route.把上面这条消息直接发给当前会话里的 DSH：它会先核对兼容性与安全性（逐条给「满足 / 不满足 / 未知」），确认没问题再安装，有高危项会停下来问你。框内可滚动，复制到的是完整提示词；安装命令不一定准确，发给 DSH 更稳。

Pre-install check安装前体检Compatibility · Security兼容性 · 安全性 1 warning1 项注意

Only 2 stars - very few users, little community feedback星标只有 2，几乎没人在用，遇到问题缺少社区反馈

DSH walks through these 9 checksDSH 会逐条核对这 9 项

Compatibility兼容性

DSH, Node, OS and profile requirementsDSH 版本 / Node 版本 / 操作系统 / profile 是否满足要求
External dependencies and runtimes (Electron / Python / Docker, ...)外部依赖与运行时（Electron / Python / Docker 等）是否齐备
Conflicts with installed plugins: command names, skill / tool names, ports, duplicate MCP registration与已装插件是否冲突：命令名、skill / tool 重名、端口占用、重复 MCP 注册

Security安全性

Repo matches the facts registered here; archived or abandoned?仓库是否与页面登记一致，是否归档或长期停更
Safety of preinstall / install / postinstall and install.sh / setup.ps1preinstall / install / postinstall 与 install.sh、setup.ps1 是否安全
curl|bash, download-then-execute, obfuscation, unrelated domains → stop immediatelycurl|bash、下载即执行、混淆代码、无关域名 → 立刻停止
Typosquatting or unmaintained packages among the new dependencies新增依赖里有没有 typosquatting 或无人维护的包
Requested permissions vs. what the feature actually needs申请了哪些权限、是否超出功能所需（filesystem / network / shell / clipboard）
Any sudo / admin requirement, plus uninstall and rollback是否要求 sudo / 管理员权限，以及卸载与回滚方式

Anything uncertain must be marked unknown with a note on how to confirm it. This site's signal screen is a static snapshot, not a security audit.拿不准的必须标「未知」并说明要我怎么确认。本站的信号筛查是静态快照，不能替代安全审计。

Or use CLI install (for developers)或使用命令行安装（适合开发者）

CLI Install命令行安装

dsh plugin --profile web add github:Fisfzy/dsh-danus

把 Fisfzy/dsh-danus 加入你的 DSH 配置（web profile）即可启用。

READMEREADME

4.0 KB · 缓存于 2026-10-03 22:08:56 · 4.0 KB

dsh-danus

Verifier-gated multi-agent mathematical proof search, native to DeepSeek Harness (DSH). A swarm of autonomous worker agents proves; a cold-start verifier is the sole authority on correctness; verified results accumulate in a content-addressed fact graph — the only source of truth; the finished work renders into a LaTeX paper or a human progress report.

Everything runs as DSH plugins (TypeScript) on your own model endpoints — no Python, no external MCP processes, cross-platform (Windows included).

What it does

Truth layer — a content-addressed, cascade-revocable fact graph (fact_id = SHA-256(statement, proof, predecessors, ...)[:16]), plus three-tier memory: worker-local → project global memory (BM25-searchable findings) → verified facts. Only the fact graph is truth.
Role-gated tools — six tools (gm_add, gm_search, fact_submit, fact_search, fact_revoke, search_arxiv_theorems) with a structural permission table: the orchestrating main agent has no fact_submit, the verifier is read-only, unknown roles fail closed.
Cold-start verifier — every submission runs deterministic prechecks (vacuousness thresholds + P1/P3/P5 hard prohibitions), then a fresh, isolated headless judge session decides: correct = no critical errors and no gaps. Rejections come back with repair hints; verdicts are always traced to global memory.
Worker swarm — detached per-worker round loops (danus-worker profile), one fresh headless session per round resuming from persisted memory; graceful .stop, deadlines, round caps, stuck detection, cross-platform process supervision.
Orchestration tools — danus_new / assign / start / status / stop / finalize / list for the main agent, plus a heartbeat plugin driving the 30-minute control beat and 4-hour macro audit, riding DSH native goals and subagents.
Rendering — fact graph → publishable LaTeX paper (planner/writer/auditor/reviser/verifier roles, chunked PLAN→FILL→STITCH, compile gate, whole-paper math re-verification) and fact graph → human progress report, each produced by an isolated one-shot session with leak gates and provenance.
Observability — a read-only dashboard served from DSH own web server (/danus), no extra process.
Model freedom — workers, verifier, and main agent each use their own DSH profile; point any of them at any configured LLM provider (agent-default-model per profile).

Showing the opening section of the README — the full document lives in the repository以上为 README 开头摘要，完整文档在仓库内 · View the full README on GitHub →在 GitHub 查看完整 README →

渲染基于仓库 Fisfzy/dsh-danus 的 README.md。在 GitHub 查看原文 →