Related Servers

No user-submitted related servers found.

Related Servers

• VSCode LSP MCP Server

  beixiyo

  A

  license

  -Not graded

  quality

  A

  maintenance

  An MCP server that exposes Language Server Protocol features to external clients, allowing access to hover information, definitions, completions, references, and rename functionalities.

  Updated a month ago (2026-07-27 05:09 UTC)

  20

  39

  MIT

• lsp-mcp-rs

  Stryk91

  F

  license

  -Not graded

  quality

  C

  maintenance

  A single MCP server that bridges to any LSP, enabling code intelligence features like hover, go-to-definition, references, and diagnostics for multiple languages via configurable language servers.

  Updated 8 months ago (2026-01-03 22:08 UTC)

  1

• mcp-lsp-v1

  beruang

  F

  license

  A

  quality

  B

  maintenance

  An MCP stdio server that wraps language servers to expose read-oriented code-intelligence tools (hover, definition, references, diagnostics, etc.) for coding agents, supporting TypeScript/JavaScript and Python.

  Updated 3 months ago (2026-06-09 10:55 UTC)

  56

  1

• lsp-mcp

  afriemann

  A

  license

  -Not graded

  quality

  B

  maintenance

  An MCP server that exposes LSP-backed code navigation and editing tools to LLM agents using a single global config file to route file extensions to language servers.

  Updated 5 days ago (2026-08-20 05:44 UTC)

  MIT

• lean-lsp-mcp

  project-numina

  A

  license

  B

  quality

  C

  maintenance

  MCP server for agentic interaction with the Lean theorem prover via LSP, providing tools for understanding, analyzing, and interacting with Lean projects.

  Updated 5 months ago (2026-03-11 16:28 UTC)

  21

  20

  MIT
• 

  Chromia LSP MCPofficial

  ChromiaProject

  A

  license

  A

  quality

  B

  maintenance

  Enables AI assistants to query and analyze Rell code via Language Server Protocol features like hover information, completions, diagnostics, and code actions. Automatically manages the Rell LSP server and provides resource-based access with real-time subscriptions.

  Updated 10 days ago (2026-08-14 12:23 UTC)

  10

  7

  MIT