Skip to content
@frenzymath

FrenzyMath

Popular repositories Loading

  1. Danus Danus Public

    Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory

    Python 442 61

  2. Rethlas Rethlas Public

    Python 331 52

  3. Archon Archon Public

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

    Python 219 36

  4. jixia jixia Public

    A static analysis tool for Lean 4.

    Lean 131 14

  5. LeanSearch LeanSearch Public

    Python 62 11

  6. FATE FATE Public

    The FATE (Formal Algebra Theorem Evaluation) benchmarks.

    61 3

Repositories

Showing 10 of 47 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 6 Apache-2.0 0 0 0 Updated Sep 16, 2026
  • LaverTable Public
    frenzymath/LaverTable's past year of commit activity
    Lean 0 0 0 0 Updated Sep 16, 2026
  • reap Public

    General neural tactic for Lean 4

    frenzymath/reap's past year of commit activity
    Lean 43 Apache-2.0 3 2 0 Updated Sep 16, 2026
  • Rethlas_results Public

    Rethlas Results

    frenzymath/Rethlas_results's past year of commit activity
    6 CC-BY-4.0 1 0 0 Updated Sep 11, 2026
  • Poincare-Conjecture Public

    Formalizing the Poincaré Conjecture in Lean 4

    frenzymath/Poincare-Conjecture's past year of commit activity
    Lean 10 Apache-2.0 3 6 3 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 27 Apache-2.0 0 0 0 Updated Sep 4, 2026
  • Danus Public

    Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory

    frenzymath/Danus's past year of commit activity
    Python 442 Apache-2.0 61 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 219 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 8, 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.