metals
25Plugin Claude Code
Scala language server with rich IDE features.
not rated 515 1mo ago A
tokens not measured
mdbase-lsp
26Plugin Claude Code
Language server for mdbase markdown collections.
not rated 515 1mo ago A
tokens not measured
Plugin Claude Code
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.
not rated 515 1mo ago A
tokens not measured
Plugin Claude Code
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.
not rated 515 1mo ago A
tokens not measured
svelte-lsp
29Plugin Claude Code
Svelte language server integration.
not rated 515 1mo ago A
tokens not measured
Plugin Claude Code
Haskell language server with completion, references, type info, and document symbols.
not rated 515 1mo ago A
tokens not measured
graphql-lsp
31Plugin Claude Code
GraphQL language server for schema and operation intelligence.
not rated 515 1mo ago A
tokens not measured
elixir-ls
32Plugin Claude Code
Elixir language server (ElixirLS) with definitions, references, hover, and symbols.
not rated 515 1mo ago A
tokens not measured
gleam
33Plugin Claude Code
Gleam language server integration (bundled with the Gleam compiler).
not rated 515 1mo ago A
tokens not measured
Plugin Claude Code
Bash language server (bash-lsp) providing IDE features for shell scripts.
not rated 515 1mo ago A
tokens not measured
swift-lsp
35Plugin Claude Code
Swift and Objective-C language server (sourcekit-lsp, macOS/Xcode).
not rated 515 1mo ago A
tokens not measured
perl-lsp
36Plugin Claude Code
Perl language server (perl-lsp) with type inference, cross-file navigation, and framework intelligence.
not rated 515 1mo ago A
tokens not measured
tofu-ls
37Plugin Claude Code
Official OpenTofu language server.
not rated 515 1mo ago A
tokens not measured
terraform-ls
38Plugin Claude Code
Official Terraform language server.
not rated 515 1mo ago A
tokens not measured
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: