{"name":"lionsr-lean-vacuity-check","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"lionsr-lean-vacuity-check","source":{"source":"github","repo":"lionsr/is-my-lean-proof-vacuous"},"description":"Detect vacuous Lean 4 proofs — formalizations that compile but don't establish what they claim (fake P=NP and friends)","version":"0.1.0","strict":true,"keywords":["lean4","mathlib","formal-verification","proof-checking","vacuity","P=NP"],"category":"utilities"}]}