FrenzyMath

Popular repositories Loading

1. Danus Danus Public

   Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory

   Python 362 54

2. Rethlas Rethlas Public

   Python 314 47

3. Archon Archon Public

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

   Python 211 36

4. jixia jixia Public

   A static analysis tool for Lean 4.

   Lean 128 13

5. LeanSearch LeanSearch Public

   Python 61 10

6. FATE FATE Public

   The FATE (Formal Algebra Theorem Evaluation) benchmarks.

   60 3