The missing linter and lsp for AI coding assistants. Validate CLAUDE.md, AGENTS.md, SKILL.md, hooks, MCP. Plugin for all major IDEs included, with autofixes.
Repository Index
47,133 repositories indexed
25–42 of 42 · Most stars
Visual Studio Code extension for Rocq
Language server implementation for Elm
- elm
- language-server-protocol
- language-server
- elm-lang
CMake LSP Implementation
The D Completion Daemon is an auto-complete program for the D programming language
- d
- autocomplete
- dlang
- code-completion
Code Intelligence for Vala & Genie
- language-server
- vala
- genie
- gnome
Server implementing the Microsoft Language Protocol for Ada and SPARK
D LSP server (dlang language server protocol server)
Language server, formatter, and linter for Quarto and other Markdown flavors
- formatter
- pandoc
- quarto
- language-server
Roblox Luau Language Server based on Lua by sumneko.
- roblox
- lua
- intellisense
A Ruby language server for large codebases
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
The @vlang language server, for all your editing needs like go-to-definition, code completion, type hints, and more.
- bindings
- language-server
- lsp
- lsp-server
OpenTofu Language Server
- tofu-ls
PICO-8 Language Server
Language Server Protocol implementation for Ember.js projects
- javascript
- language-server-protocol
- ember
- glimmer
Suricata Language Server is an implementation of the Language Server Protocol for Suricata signatures. It adds syntax check, hints and auto-completion to your preferred editor once it is configured.
Friendly developer tools for Nvim - Code Actions LSP server and library
- lsp
- lsp-server
- neovim
- neovim-plugin