dsh-danus
Fisfzy/dsh-danus · Fisfzy
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).
项目资料
基本信息
- Star
- 0
- 派生
- 0
- 语言
- TypeScript
- 许可证
- Apache-2.0
- 创建时间
- 2026-08-23
- 最近更新
- 2026-08-26
同一分类