Plugin directory / AI Models / dsh-danus
dsh-danus
Unverified
2Stars
AI ModelsCategory
GitHubSource
What it does
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).
Our take
Unverified — not yet install-tested; try it in your own environment.
Unverified — not yet install-tested; try it in your own environment.
“Verified” means our CI ran dsh plugin add in a clean profile and it booted — not a security audit and not an endorsement of third-party code.
Install
🧩 Let your agent install it (recommended)
Install the catalog once, then ask DeepSeek Harness to find and install this plugin.
dsh plugin add dshbase-catalogWeb profile:
dsh plugin --profile web add github:fisfzy/dsh-danus