Serena是一个免费开源的编码助手,通过Model Context Protocol (MCP) 服务器提供代码分析、编辑和Shell工具,可与Claude等LLM集成,实现代码库交互。
LSP-MCP服务器是一个MCP后端,通过集成Language Server Protocol (LSP),为大语言模型提供代码库的语言感知上下文信息和智能分析能力。
Lean LSP MCP 是一个基于 Model Context Protocol 的服务器,旨在为 Lean 4 定理证明器提供 Agentic 交互能力。
该项目是一个MCP服务器,通过集成语言服务器(LSP)为大型代码库提供代码定义、引用查找和诊断等智能工具,以增强LLM对代码的理解和交互能力。
一个基于Model Context Protocol (MCP) 的headless代码编辑器服务器,通过Language Server Protocol (LSP) 提供代码智能和编辑能力,支持AI辅助的代码操作。