Repository Index

Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.

A fast type checker and language server for Python

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

AI-powered E2E testing for 10 platforms. 253 MCP tools. Zero config. Works with Claude, Cursor, Windsurf, Copilot. Test Flutter, React Native, iOS, Android, Web, Electron, Tauri, KMP, .NET MAUI — all from natural language.

• ai
• android
• automation
• claude

Server implementing the Microsoft Language Protocol for Ada and SPARK

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

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

Clojure support for Visual Studio Code

• clojure
• vscode
• nrepl
• autocomplete

IDE tools for writing pest grammars, using the Language Server Protocol for Visual Studio Code, Vim and other editors

• lsp
• extension
• ide
• pest

The Design Tokens Multitool. CLI and go library; LSP and MCP; Generator and converter

• cli
• design-systems
• design-tokens
• go