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对代码的理解和交互能力。