{"name":"lucianoxu-claude-lean4-lsp","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"lucianoxu-claude-lean4-lsp","source":{"source":"github","repo":"lucianoxu/claude-lean4-lsp"},"description":"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).","version":"0.1.0","strict":true,"keywords":[],"category":"utilities"}]}