By lucianoxu
Lean 4 language server integration for Claude Code — provides diagnostics, hover info, go-to-definition, and completions for .lean files. Supports both Lake projects (lake serve) and standalone files (lean --server).
npx claudepluginhub lucianoxu/claude-lean4-lspTypeScript/JavaScript language server for enhanced code intelligence
C/C++ language server (clangd) for code intelligence
C# language server for code intelligence
Python language server (Pyright) for type checking and code intelligence
Java language server (Eclipse JDT.LS) for code intelligence
GDScript language server for Godot Engine