标签：语言服务器

一个通过语言服务器协议（LSP）与Lean定理证明器交互的工具，提供丰富的Lean项目分析、诊断和搜索功能。

OPA MCP是一个为Rego语言提供语言服务器功能的工具，支持查询定义、诊断和文档显示等功能。

一个用于管理和启动多个bsl-language-server实例的跨平台工具，支持MCP和SKILLs协议，提供语法检查、代码导航等功能。

一个提供语言服务器功能的MCP服务器，部分代码基于OmniSharp项目。

OmniSharp MCP服务器为Claude Code CLI提供C#语言智能支持，实现完整的IDE功能。

一个管理多种编程语言服务器的工具，通过统一的接口提供代码定义、引用查找、诊断信息等功能，适用于复杂的代码库理解和操作。

一个智能模型上下文协议（MCP）服务器，用于查询和分析Java语言服务器代码库，专为Ballerina语言服务器项目设计。

Symbols MCP是一款通过连接语言服务器帮助开发者读取、检查和导航代码库符号的工具，提供代码大纲、符号检查、引用查找等功能。

一个代理多个语言服务器协议（LSP）服务器的模型上下文协议（MCP）服务器，使AI助手能够访问代码智能功能。

MCP语言服务器是一个为LLM提供语言服务器协议支持的服务器，帮助客户端更轻松地导航代码库，提供定义、引用、重命名和诊断等语义工具。

为Magento 2开发提供编辑器语言服务(LSP)和AI代理配置服务(MCP)，支持代码导航、智能补全和配置管理。

MCP语言服务器通过封装语言服务器协议（LSP），使大型语言模型（LLM）能够获取代码的语义理解能力，适用于代码导航、分析和重构等场景。

一个为 Sui Move 智能合约开发提供 IDE 功能和 AI 助手集成的语言服务器协议 (LSP) 实现。

MCP服务器为AI代理（如Cursor、Claude Code等）提供BSL语言服务器功能，支持1C和OneScript代码的导航、搜索、诊断和重构。

VB6语言服务器是为Visual Basic 6代码库提供语言服务器协议(LSP)和MCP服务的工具，支持项目导航、代码分析和编辑器集成。

Bifrost是一个VSCode扩展，提供模型上下文协议（MCP）服务器，将VSCode强大的开发工具和语言功能暴露给AI工具，支持高级代码导航、分析和操作功能。

一个基于MCP协议的C#和XAML语言智能服务器，为AI助手提供代码分析、诊断和智能感知功能，连接LLM与.NET开发。

SysML v2语言服务器是一个基于语言服务器协议(LSP)的实现，提供语法错误报告、文档符号、悬停提示、跳转到定义、查找引用、代码补全等功能，适用于SysML v2模型的开发和分析。