📦
lean-lsp-mcp
Lean Theorem Prover MCP
0 installs
303 stars
47 forks
Trust: 77 — Good
Devtools
Installation
npx lean-lsp-mcpAsk AI about lean-lsp-mcp
Powered by Claude · Grounded in docs
I know everything about lean-lsp-mcp. Ask me about installation, configuration, usage, or troubleshooting.
0/500
Loading tools...
Reviews
Documentation
No README available
