Tools
Every Skill, MCP server, CLI and plugin in the directory. Filter by type, profession or tag, or search by keyword.
Profession: DevOps / SRE +1
Pick one or more: resources that suit any of them are listed.
Tags: ide-integration
Pick one or more: only resources carrying all of them are listed.
3 items
Pyright LSP
PluginConnects Claude Code to the Pyright language server for static type checking and code intelligence in Python. Install pyright first with npm, pip or pipx. Official Anthropic plugin.
anthropics/claude-plugins-official43.4kGo LSP (gopls)
PluginConnects Claude Code to gopls, Go's official language server, for code intelligence, refactoring and analysis. Install gopls with go install and add Go's bin directory to PATH first. Official Anthropic plugin.
anthropics/claude-plugins-official43.4k
lean-lsp-mcp
MCPMCP server for the Lean 4 theorem prover: lets agents read proof goals, diagnostics and definitions and search theorems via LeanSearch and Loogle, helping mathematicians and students with formal proofs. Needs uv and the Lean toolchain; run it from the Lean project root.
oOo0oOo/lean-lsp-mcp530