插件目录 / AI Models / dsh-danus

dsh-danus

未验证

在 GitHub 查看 ↗ ← 返回插件目录

2星标

AI Models分类

GitHub来源

它做什么

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).

⏳

我们的判断
未验证 — 尚未完成安装测试，请自行评估。

「已验证」仅表示我们的自动化流水线跑通了安装与启动，不是安全审计，也不是对第三方代码的背书。

安装

🧩 让 Agent 自动安装（推荐）

先安装目录插件，然后对 DeepSeek Harness 说「帮我安装这个插件」即可。

dsh plugin add dshbase-catalog

Web 配置：

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

在 GitHub 查看 ↗