LSP-MCP服务器是一个MCP后端，通过集成Language Server Protocol (LSP)，为大语言模型提供代码库的语言感知上下文信息和智能分析能力。
Lean LSP MCP 是一个基于 Model Context Protocol 的服务器，旨在为 Lean 4 定理证明器提供 Agentic 交互能力。
该项目是一个MCP服务器，通过集成语言服务器（LSP）为大型代码库提供代码定义、引用查找和诊断等智能工具，以增强LLM对代码的理解和交互能力。
LSP-MCP服务器是一个MCP后端，通过集成Language Server Protocol (LSP)，为大语言模型提供代码库的语言感知上下文信息和智能分析能力。
Lean LSP MCP 是一个基于 Model Context Protocol 的服务器，旨在为 Lean 4 定理证明器提供 Agentic 交互能力。
该项目是一个MCP服务器，通过集成语言服务器（LSP）为大型代码库提供代码定义、引用查找和诊断等智能工具，以增强LLM对代码的理解和交互能力。