Repository Index

GraphiQL & the GraphQL LSP Reference Ecosystem for building browser & IDE tools.

• graphql
• graphiql
• codemirror
• lsp-mode

A fast type checker and language server for Python

• code-quality
• ide
• language-server
• lsp

SQL language server written in Go.

• language-server-protocol
• autocomplete
• sql
• language-server

SQL Language Server

• sql
• language-server-protocol
• lint

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.

• agent
• ai
• ai-agents
• ai-coding-assistant

Visual Studio Code extension for Rocq

• coq
• vscode
• vscode-extension
• editor

Language server, formatter, and linter for Quarto and other Markdown flavors

• formatter
• pandoc
• quarto
• language-server

Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]

• coq
• ide
• user-interface
• vscode-extension

Write Quarto documents and get IDE support for different languages in your notebook at the same time.