{"repo":"frenzymath/Danus","free":true,"listed":false,"github":"https://github.com/frenzymath/Danus","clone":"git clone https://github.com/frenzymath/Danus.git","description":"Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","language":"Python","stars":186,"topics":["agents","ai4math","automated-reasoning","claude-code","codex","llm","mathematics","multi-agent"],"license":"Apache-2.0","category":"ai-agents","readme_excerpt":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Danus orchestrates mathematical reasoning agents with fact-graph memory. A main agent (Claude Code) steers a swarm of autonomous codex workers that prove; a cold-start verifier is the sole authority on correctness: a result becomes real only once it passes. Verified results accumulate in a content-addressed fact graph — the system's only source of truth — and a strategy loop (a strong reasoning model) decomposes the problem and steers the swarm. When you have the answer, Danus renders it into a human report or a publishable LaTeX paper. Danus builds on the worker–verifier core of our earlier system Rethlas (arXiv:2604.03789). The paper and the technical report tell the full story: the system, six research-level case studies it resolved, and what we learned along the way. See ARCHITECTURE.md for the layered design and the map of every module. Two orchestrator options The workers and the verifier always run on codex . The main agent (the orchestrator) can run on either runtime — pick one: - Claude Code — recommended (this branch / main ). Best results with Fable ( claude-fable-5 ) as the orchestrator model. Requires the Claude Code CLI in addition to your codex backend. - codex — for convenience (the codex branch, tag v0.1.0-codex ). The orchestrator runs on codex too, so you install nothing beyond codex — no Claude Code. Same engine, workers, and verifier; only the main-agent runtime differs ( AGENTS.md ","default_branch":null,"files":null,"tree":[],"storefront":"/r/frenzymath","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/frenzymath/Danus/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}