Tools

Connects Claude Code to the C# language server csharp-ls for code intelligence and diagnostics. Needs .NET SDK 6.0+; install csharp-ls first via dotnet tool or Homebrew. Official Anthropic plugin.

Connects Claude Code to SourceKit-LSP so the agent can go to definitions, find references and inspect symbols in Swift code. Install the Swift toolchain or Xcode first. Official Anthropic plugin.

Connects Claude Code to JetBrains' Kotlin language server so the agent can go to definitions, find references and inspect symbols in .kt and .kts files. Install kotlin-lsp first (Homebrew works). Official Anthropic plugin.

Connects Claude Code to the clangd C/C++ language server for code intelligence, diagnostics and formatting. Install LLVM/clangd and add it to PATH first. Official Anthropic plugin.

Connects Claude Code to the Eclipse JDT.LS language server so the agent can go to definitions, find references and inspect symbols in Java code. Needs JDK 17+ and jdtls installed first. Official Anthropic plugin.

Connects 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.

Gives coding agents IDE-like symbol-level code search, editing and refactoring via language servers (LSP) across 40+ languages, with cross-session memory. An optional paid JetBrains plugin backend adds breakpoint debugging. Install with uv first.

MCP 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.

Third-party LSP plugin marketplace with 30+ language server plugins, including TypeScript, Python, Rust, Go, Java, C/C++, Vue, Svelte, Elixir and Haskell, covering more languages than the official set. Requires Claude Code 2.1.50+; install the language servers yourself.