Skip to content
@frenzymath

FrenzyMath

Popular repositories Loading

  1. Danus Danus Public

    Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory

    Python 423 60

  2. Rethlas Rethlas Public

    Python 325 50

  3. Archon Archon Public

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

    Python 216 36

  4. jixia jixia Public

    A static analysis tool for Lean 4.

    Lean 130 14

  5. LeanSearch LeanSearch Public

    Python 62 11

  6. FATE FATE Public

    The FATE (Formal Algebra Theorem Evaluation) benchmarks.

    60 3

Repositories

Showing 10 of 46 repositories
  • Poincare-Conjecture Public

    Formalizing the Poincaré Conjecture in Lean 4

    frenzymath/Poincare-Conjecture's past year of commit activity
    Lean 8 Apache-2.0 2 5 1 Updated Sep 8, 2026
  • Algebraic-Geometry Public

    A shared hgraph workspace for formalized algebraic geometry

    frenzymath/Algebraic-Geometry's past year of commit activity
    TeX 1 Apache-2.0 0 3 1 Updated Sep 4, 2026
  • Archon-Horizon Public

    Workspace-first orchestration for long-horizon Lean 4 formalization agents.

    frenzymath/Archon-Horizon's past year of commit activity
    Python 26 Apache-2.0 0 0 0 Updated Sep 5, 2026
  • Danus Public

    Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory

    frenzymath/Danus's past year of commit activity
    Python 423 Apache-2.0 60 0 0 Updated Aug 27, 2026
  • Archon Public

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

    frenzymath/Archon's past year of commit activity
    Python 216 Apache-2.0 36 0 0 Updated Aug 17, 2026
  • iteris Public

    AI Agentic Research System for Computational Mathematics

    frenzymath/iteris's past year of commit activity
    Python 57 Apache-2.0 13 0 1 Updated Aug 9, 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 6 Apache-2.0 0 0 0 Updated Aug 8, 2026
  • reap Public

    General neural tactic for Lean 4

    frenzymath/reap's past year of commit activity
    Lean 43 Apache-2.0 3 2 1 Updated Aug 6, 2026
  • Rethlas_results Public

    Rethlas Results

    frenzymath/Rethlas_results's past year of commit activity
    2 CC-BY-4.0 1 0 0 Updated Aug 5, 2026
  • Rethlas Public
    frenzymath/Rethlas's past year of commit activity
    Python 325 Apache-2.0 50 4 2 Updated Aug 3, 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.