LLMs + Lean, on your laptop or in the cloud - View it on GitHub