Home Developer tools lean-lsp-mcp Tools LL lean-lsp-mcp by ooo0oooio.github.ooo0ooo/lean-lsp-mcp-d0t6h9v0.31.0 1.1 ยท 22/100How the score works Runs on your machine No known advisories MIT OverviewToolsSecurityAlternatives We have not seen this server list its tools yet.