Pharos (FrenzyMath)

A research orchestration system that coordinates mathematical approaches, workers and model-based review.

• Developer / Organization: Bin Dong, Guoxiong Gao, Jiedong Jiang, Shurui Liu, Zeming Sun and Bin Wu
• Category: Open-source research & review agents
• Purpose: Organize multi-route mathematical research projects.
• Key features: A mathematics research system with research routes, workers and a shared fact graph. Preview; verification uses model judgment.
• Availability: Open-source software; Apache-2.0
• License: Apache-2.0 (source (opens in a new tab))
• Website / Source code: https://github.com/frenzymath/Pharos (opens in a new tab)
• Version: Source package: 3.1.0 (not a GitHub release); preview
• Version source: Official release or documentation (opens in a new tab)
• Last checked: 2026-11-01