Local code intelligence for developers and AI agents. Connect code, docs and infrastructure in a persistent graph, with CBM Lens, MCP tools, agent integrations and change-aware test selection.
Like cURL, but for gRPC: Command-line tool for interacting with gRPC servers
The best way of working with Protocol Buffers.
Debug Adapter Protocol client implementation for Neovim
A fast type checker and language server for Python
Documentation and issues for Pylance
WFGY is heading toward WFGY 5.0 Polaris Protocol, a major open-source release for AI reasoning, RAG, agents, and real-world workflows. Includes Problem Map, Global Debug Card, WFGY 4.0, and the CFV Easter Egg.
Nix language server, based on nix libraries [maintainer=@inclyc,@takeokunn,@Aleksanaa]
SQL language server written in Go.
Python Type Checker / Language Server
OCaml Language Server Protocol implementation
A frontend-independent IDE "smartness" server for Elixir. Implements the JSON-based "Language Server Protocol" standard and provides debugger support via VS Code's debugger protocol.
SQL Language Server
parser for Google ProtocolBuffers definition
A Language Server Protocol implementation for Crystal. 🔮
- crystal
- lsp
- lsp-server
- vscode-language
Code graph and memory for your coding agents, in one Rust program. For Claude Code, Codex, Cursor and any MCP client.
Language server implementation for Elm
Pure OCaml Git format and protocol
Server implementing the Microsoft Language Protocol for Ada and SPARK
D LSP server (dlang language server protocol server)
Overleaf CLI - pull, push, sync, compile LaTeX projects from your terminal. Git remote helper, MCP server for AI agents, and TypeScript library.
OCaml debug adapter
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
Language Server Protocol implementation for Ember.js projects