Skip to content
@frenzymath

FrenzyMath

Popular repositories Loading

  1. Danus Danus Public

    Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory

    Python 492 74

  2. Rethlas Rethlas Public

    Python 362 55

  3. Archon Archon Public

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

    Python 228 37

  4. jixia jixia Public

    A static analysis tool for Lean 4.

    Lean 131 16

  5. LeanSearch LeanSearch Public

    Python 62 11

  6. FATE FATE Public

    The FATE (Formal Algebra Theorem Evaluation) benchmarks.

    62 3

Repositories

Showing 10 of 54 repositories
  • 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 2 0 0 Updated Oct 20, 2026
  • reap Public

    General neural tactic for Lean 4

    frenzymath/reap's past year of commit activity
    Lean 47 Apache-2.0 3 2 0 Updated Oct 14, 2026
  • lean-eval-submissions Public

    LeanEval submission workspaces and source provenance for frenzymath formalization projects

    frenzymath/lean-eval-submissions's past year of commit activity
    Lean 0 0 0 0 Updated Oct 14, 2026
  • HolomorphicAnosov Public
    frenzymath/HolomorphicAnosov's past year of commit activity
    Lean 12 1 0 0 Updated Oct 13, 2026
  • SHEAF Public
    frenzymath/SHEAF's past year of commit activity
    Python 10 2 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 37 Apache-2.0 0 0 0 Updated Oct 9, 2026
  • Pharos Public
    frenzymath/Pharos's past year of commit activity
    Python 34 Apache-2.0 5 0 0 Updated Oct 8, 2026
  • Rethlas Public
    frenzymath/Rethlas's past year of commit activity
    Python 362 Apache-2.0 55 5 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
View all repositories

People

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