Archon (FrenzyMath)

A Lean automation framework that coordinates proof blueprints and parallel proving work.

• Developer / Organization: FrenzyMath / Archon team
• Category: Open-source formalization & proving
• Purpose: Turn mathematical proof plans into organized Lean projects.
• Key features: Lean project automation with dependency blueprints and multi-agent proof orchestration.
• Availability: Open-source software; Apache-2.0
• License: Apache-2.0 (source (opens in a new tab))
• Website / Source code: https://github.com/frenzymath/Archon (opens in a new tab)
• Version: Source package: 0.3.3 (not a GitHub release)
• Version source: Official release or documentation (opens in a new tab)
• Last checked: 2026-11-01