FrenzyMath

Popular repositories Loading

1. Danus Danus Public

   Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory

   Python 450 64

2. Rethlas Rethlas Public

   Python 338 53

3. Archon Archon Public

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

   Python 221 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