dsh-danus
基于 DSH 的多智能体数学证明搜索编排插件：worker 群体证明，冷启动 verifier 独立判定正确性，结果存入内容寻址事实图；支持角色权限工具、进度报告与 LaTeX 论文渲染、只读看板，TypeScript 实现且跨平台。
查看原仓库英文描述
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).
基础信息核对
自动核对项目活跃度
数据覆盖 60% · 有限数据 · 数据截至 2026-09-06
20 次提交 · 最近推送 11 天前
0 个样本 · 暂不计分
0 个样本 · 暂不计分
3 位近 90 天活跃贡献者
最近发布 11 天前
1 Stars · 0 Forks
安装
暂无统一的安装命令（安装方式请前往项目页面查看。）。请前往项目页面查看 README 获取最新安装指引。
还没有 DSH？两步开始 →
第一步：准备 Node.js 环境
DSH 依赖 Node.js（建议 20 LTS 或更新版本）。终端里运行 node -v 能显示版本号即已就绪。
已有 Node.js：直接进入第二步。
没有 Node.js：去 nodejs.org 下载 LTS 安装包（Windows/macOS 双击安装）；或用包管理器：
brew install nodewinget install OpenJS.NodeJS.LTS第二步：启动 DSH
无需安装，直接运行：
npx @deepseek-ai/dsh web浏览器打开 http://127.0.0.1:3080 即可进入 DSH Web UI；插件的后续安装请按上方项目说明操作。
