dsh-danus
原生 Danus 的 DSH 插件套件：由验证器门控的数学证明搜索编排（事实图谱、按角色控制的工具、冷启动验证器、工作者群集、编排工具、心跳）。
插件会安装到这里；不确定时保持 web。
npx -y @deepseek-ai/dsh plugin --profile web add dsh-danus@0.1.0Danus 以 dsh-danus 发布，当前版本为 0.1.0。Plugin Hub 会校验它的 manifest，并保存精确安装来源，便于复现安装结果。
点击下方 Badge 复制 Markdown，粘贴到 README 即可。
验证 package.json 声明的 GitHub 仓库，即可管理这个公开页面。认领后，Hub 会优先安排当前版本的安全扫描，并在通过后公开展示结果。
认领这个 Plugin →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).
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.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.correct = no critical errors and no gaps. Rejections come back with repair hints; verdicts are always traced to global memory.danus-worker profile), one fresh headless session per round resuming from persisted memory; graceful .stop, deadlines, round caps, stuck detection, cross-platform process supervision.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./danus), no extra process.agent-default-model per profile).pnpm test), including byte-exact golden vectors generated by the original implementation.fact_submit → independent cold-start judge → fact cefabd883755ac88 in the graph.PARITY.md maps every behavior to the original, item by item.pnpm install && pnpm test
# three compositions: main (web profile), danus-worker, danus-verifier
# see README.zh.md (Chinese) for the exact cordis.patch.yml blocks
dsh --profile headless --patch ./dev-overlay.yml "Call danus_list and report the result"
src/core/ truth layer (pure TS, zero DSH deps)
src/services/ verify (cold-start judge) · swarm (worker lifecycle) · write-paper · human-summary
src/plugins/ gateway (role-gated tools) · orchestration · heartbeat · observability · ...
src/swarm/ the worker outer loop + cross-platform process supervision
src/shared/ layout · headless spawn · target · env
skills/ contracts/ agent skills and role contracts
spec/ authoritative behavior specs extracted from the original
PARITY.md per-feature parity checklist against the original
Apache 2.0 (see LICENSE). This project is a native TypeScript/DSH port based on Danus by frenzymath — the architecture, agent contracts, skills, and behavior specs are theirs; see PARITY.md for the detailed correspondence and intentional differences.