{"name":"cbirkbeck-mathlib-quality-plugins","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"cbirkbeck-mathlib-quality","source":{"source":"github","repo":"cbirkbeck/mathlib-quality"},"description":"Prove, clean up, golf, and bring Lean 4 code up to mathlib standards","version":"0.12.1","strict":true,"keywords":["lean4","mathlib","code-quality","proof-golfing","style"],"category":"testing"}]}