frenzymath/Archon

Here's a brief summary of the frenzymath/Archon project: **Summary:** frenzymath/Archon is an open-source project that enables AI-assisted Lean project automati