Rethlas (FrenzyMath)

A mathematical reasoning agent that develops and reviews natural-language proofs.

• Developer / Organization: FrenzyMath; Haocheng Ju and collaborators
• Category: Open-source research & review agents
• Purpose: Explore research problems and develop natural-language proofs.
• Key features: Natural-language mathematical reasoning with separate proof-generation and verification agents.
• Availability: Open-source software; Apache-2.0
• License: Apache-2.0 (source (opens in a new tab))
• Website / Source code: https://github.com/frenzymath/Rethlas (opens in a new tab)
• Version: Source repository; no GitHub release published
• Version source: Official release or documentation (opens in a new tab)
• Last checked: 2026-11-01