v0.1.0

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

⚠️ The verifier is an LLM judge, not a formal proof assistant — read docs/security-and-trust.md before relying on a result.