Back to all repositories
LU
claude-lean4-lsp
by LucianoXu
Lean 4 language server plugin for Claude Code — diagnostics, hover, go-to-definition, and completions for .lean files
0stars0forks0watchers/subscribers0issues
- Language
- JavaScript
- Size
- 66 KB
- Created
- Mar 18, 2026
- Last Updated
- Aug 11, 2026
- Last Pushed
- Aug 11, 2026
Available Plugins
Loading plugins...
Evaluate before installing
- Review the source repository, recent maintenance, and license on GitHub.
- Read the marketplace manifest and plugin source files before running commands.
- Start with the smallest required permission set and validate behavior in a safe environment.