{"name":"piebald-ai-lean4-lean-lsp-lean4-lean-lsp","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"piebald-ai-lean4-lean-lsp-lean4-lean-lsp","source":{"source":"github","repo":"piebald-ai/claude-code-lsps"},"description":"Lean 4 language server via the lean binary — for standalone .lean files outside Lake projects. Replaces the inefficient CLI-based workflow with native LSP integration for interactive theorem proving.","version":"0.1.0","strict":false,"keywords":[],"category":"productivity"}]}