Initial open-source release.
Danus orchestrates mathematical reasoning agents with fact-graph memory: a main agent steers a swarm of codex workers; a stateless verifier is the sole authority on correctness; verified results accumulate in a content-addressed fact graph — the system's only source of truth — and are rendered into progress reports and publishable LaTeX papers.
- Engine (
danus/): fact graph + typed memory, role-gated MCP gateway, verify service, worker swarm, strategy consult, dashboard, and the two renderers (write-paper, human-summary) - Agent layer (
agents/,.claude/skills/): contracts and skills for the main agent, workers, and verifier - Docs: getting started · concepts · operating guide · security & trust
docs/security-and-trust.md before relying on a result.