彼方 (@bifangKNT) 在现在有好用的 lsp mcp 推荐吗？中发帖找到以下项目： isaacphi/mcp-language-server: mcp-language-server gives MCP enabled clients access semantic tools like get definition, references, rename, and diagnostics. 太久没更新了oOo0oOo/lean-lsp-mcp: Lean Theorem Prover MCP 星数比较少，不知道好不好用

彼方 (@bifangKNT) 在现在有好用的 lsp mcp 推荐吗？中发帖

找到以下项目： 


isaacphi/mcp-language-server: mcp-language-server gives MCP enabled clients access semantic tools like get definition, references, rename, and diagnostics. 

太久没更新了



oOo0oOo/lean-lsp-mcp: Lean Theorem Prover MCP 

星数比较少，不知道好不好用