📌 📄 内容摘要:
彼方 (@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
星数比较少，不知道好不好用
────────── 链接信息 ──────────
🔗 论坛链接: linux.do
📎 访问地址: https://linux.do/t/topic/1153864/1
─────────────────────────────
📢 来源：LINUX DO
