{"name":"forkernels-lean-lsp-plugins-lean-lsp","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"forkernels-lean-lsp-plugins-lean-lsp","source":{"source":"github","repo":"forkernels/sci-lsp"},"description":"Lean 4 language server (lean --server) for formal math and proofs","version":"1.0.0","strict":false,"keywords":[],"category":"utilities"}]}