oOo0oOo / lean-lsp-mcp
git clone https://github.com/oOo0oOo/lean-lsp-mcp.git
Lean Theorem Prover MCP
+0
stars, 24h · #42,413
+~7
stars, 7 days · #15,852
+~30
stars, 30 days · #19,357
534
★ total · +1% this week
83
forks · 10 open issues
Star history (as recorded here)
LanguagePython
LicenseMIT
Created2025-03-29 (1y ago)
Last push23d ago
OwnerUser
GitHub topics
Links
README
Loading README…