Language Server MCP Servers

Discover Cursor MCP servers tagged with "Language Server" to enhance your AI coding experience.

2 MCP servers tagged with "Language Server"

by oOo0oOo

Interact with the Lean theorem prover via the Language Server Protocol.

Theorem Prover Language Server

92 Stars Created: Mar 29, 2025 Updated: 4 days ago

by hloiseaufcms

A MCP server for interacting with Go's Language Server Protocol (gopls) and benefit from advanced Go code analysis features.

Go Language Language Server Code Analysis

37 Stars Created: Apr 5, 2025 Updated: 1 week ago