Repository Index

A fast type checker and language server for Python

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

An opinionated language server for Ruby

• lsp
• ruby
• lsp-server
• vscode-extension

Universal toolkits for linting, viewing and managing i18n for any frameworks.

• devframe
• i18n
• i18n-tool
• lsp

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

A Ruby language server for large codebases

• language-server
• ruby
• vscode-extension

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

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

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

• lsp
• extension
• ide
• pest

Go language extension that turns HTML templates into typed Go expressions with seamless editor support and an extensible rendering pipeline.

• go
• html
• jsx
• lsp

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

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

fast, auto-fixing Markdown linter and formatter. Checks style, readability, structure, and cross-file integrity.

• golang
• linter
• markdown
• ai-generated-code