Danus (FrenzyMath)

A multi-agent mathematics system that organizes proof attempts around a shared graph of claims.

• Developer / Organization: FrenzyMath / Danus research team
• Category: Open-source research & review agents
• Purpose: Coordinate sustained collaborative mathematical reasoning.
• Key features: Coordinates a main agent, proof-search workers and a separate verifier around shared fact-graph memory.
• Availability: Open-source software; Apache-2.0
• License: Apache-2.0 (source (opens in a new tab))
• Website / Source code: https://github.com/frenzymath/Danus (opens in a new tab)
• Version: Stable: v0.1.0; Codex prerelease: v0.1.0-codex
• Version source: Official release or documentation (opens in a new tab)
• Last checked: 2026-11-01