LeanMgr: CLI to manage and clean Lean .lake caches across projects
LeanMgr tackles the problem of scattered .lake directories in many Lean 4 projects by offering a unified, cross‑project view and cleanup commands. It lets users add, tag, scan, list, and safely delete cache files with dry‑run and confirmation options, ensuring recoverable caches are kept. The tool is aimed at Lean developers who need to reclaim disk space without breaking builds, and it stands out by integrating with existing Lake workflows rather than replacing them. Compared to manual scripts, LeanMgr offers a polished, configurable CLI with built‑in garbage‑collection and gitignore helpers.
View on GitHub →FrankieeW/leanmgr