Repository Index

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