claude-code-lsps

Full-featured PHP language server written in Rust — semantic diagnostics, code actions, refactoring, PSR-4/Composer, PHPUnit test runner

TypeScript and JavaScript language server integration (using vtsls)

Rust language server integration with rust-analyzer

Python language server with excellent type checking

Python language server using basedpyright with stricter type checking

Official Go language server

Eclipse JDT Language Server for Java

LLVM-based language server for C and C++

Modern Ruby language server by Shopify

HTML and CSS language servers from VS Code

Intelligent PHP completion and refactoring language server

Official .NET language server with rich C# support

Official PowerShell language server by Microsoft

Kotlin language server by JetBrains

LaTeX language server with completion, references, and document symbols

BSL Language Server for 1C:Enterprise and OneScript

Julia language server using LanguageServer.jl

Vue.js language server integration (Volar)

OCaml language server (ocaml-lsp-server)

Ada/SPARK and GPR language server

Dart language server for Claude Code, providing code intelligence for Dart and Flutter projects

Fast Solidity language server powered by Foundry and solc

Scala language server with rich IDE features

Language server for mdbase markdown collections

Lean 4 language server via Lake — for Lake projects with dependencies (e.g., Mathlib). Replaces the inefficient CLI-based lake build workflow with native LSP integration for interactive theorem proving.

Lean 4 language server via the lean binary — for standalone .lean files outside Lake projects. Replaces the inefficient CLI-based workflow with native LSP integration for interactive theorem proving.

Svelte language server integration