Pinned Loading

1. lean-lsp-mcp lean-lsp-mcp Public

   Lean Theorem Prover MCP

   Python 131 11

2. leanclient leanclient Public

   Python client to interact with the lean4 language server.

   Python 26 2

3. pynanite pynanite Public

   Automatic mesh LODs in Python

   Python

4. LeanSage LeanSage Public

   SageMath integration for Lean4

   Lean 6

5. winerymap winerymap Public

   Map showing 34k wineries from all over the world.

   JavaScript 5

6. lean-scribe lean-scribe Public

   Render and run context-rich Lean 4 prompts in VS Code.

   TypeScript 10