Skip to content
@frenzymath

FrenzyMath

Popular repositories Loading

  1. Danus Danus Public

    Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory

    Python 476 71

  2. Rethlas Rethlas Public

    Python 350 52

  3. Archon Archon Public

    AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.

    Python 223 35

  4. jixia jixia Public

    A static analysis tool for Lean 4.

    Lean 133 14

  5. LeanSearch LeanSearch Public

    Python 61 11

  6. FATE FATE Public

    The FATE (Formal Algebra Theorem Evaluation) benchmarks.

    61 3

Repositories

Showing 10 of 52 repositories
  • SHEAF Public
    frenzymath/SHEAF's past year of commit activity
    Python 4 0 0 0 Updated Oct 10, 2026
  • Archon-Horizon Public

    Distributed, objective-led control plane for Lean 4 formalization projects.

    frenzymath/Archon-Horizon's past year of commit activity
    Python 33 Apache-2.0 0 0 0 Updated Oct 9, 2026
  • Pharos Public
    frenzymath/Pharos's past year of commit activity
    Python 17 Apache-2.0 2 0 0 Updated Oct 8, 2026
  • Rethlas Public
    frenzymath/Rethlas's past year of commit activity
    Python 350 Apache-2.0 52 4 3 Updated Oct 6, 2026
  • PoincareConjecture Public

    Lean formalization of the smooth and topological Poincare conjectures following Morgan and Tian.

    frenzymath/PoincareConjecture's past year of commit activity
    Lean 13 1 0 0 Updated Oct 5, 2026
  • MiyaokaMori-CharZero Public
    frenzymath/MiyaokaMori-CharZero's past year of commit activity
    Lean 3 Apache-2.0 0 0 0 Updated Sep 29, 2026
  • Poincare-Conjecture Public

    Formalizing the Poincaré Conjecture in Lean 4

    frenzymath/Poincare-Conjecture's past year of commit activity
    Lean 13 Apache-2.0 6 7 7 Updated Sep 29, 2026
  • FormalPantheon Public

    A living, long-term archive that collects our formal project results across all domains.

    frenzymath/FormalPantheon's past year of commit activity
    Lean 8 Apache-2.0 1 0 0 Updated Sep 27, 2026
  • reap Public

    General neural tactic for Lean 4

    frenzymath/reap's past year of commit activity
    Lean 46 Apache-2.0 3 2 0 Updated Sep 23, 2026
  • LaverTable Public
    frenzymath/LaverTable's past year of commit activity
    Lean 4 0 0 0 Updated Sep 22, 2026
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.