{"name":"lucianoxu-claude-lean4-lsp","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"lucianoxu-lean4-lean-lsp-plugins-lean4-lsp","source":{"source":"github","repo":"lucianoxu/claude-lean4-lsp"},"description":"Lean 4 language server via the lean binary — for standalone .lean files outside Lake projects. Provides diagnostics, hover info, go-to-definition, and completions.","version":"0.1.0","strict":false,"keywords":[],"category":"utilities"}]}