{"name":"leanprover-leanprover","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"leanprover-lean","source":{"source":"github","repo":"leanprover/skills"},"description":"Skills for developing with Lean 4 and Mathlib — proof methodology, toolchain setup, bisection, and more","version":"0.1.0","strict":true,"keywords":["lean","lean4","mathlib","theorem-proving","formal-verification"],"category":"development"}]}