# dsh-danus

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

## Metadata

- Author: [@Fisfzy](https://github.com/Fisfzy)
- Repo: <https://github.com/Fisfzy/dsh-danus>
- Stars: 0
- Added: 2026-08-25T16:00:00.000Z

## Install

```bash
dsh plugin --profile web add dsh-danus
```

---

This document is auto-generated by [deepseek-plugin.org](https://deepseek-plugin.org). HTML page: [dsh-danus](https://deepseek-plugin.org/plugins/Fisfzy/dsh-danus)