{"name":"cameronfreer-lean4-plugins-lean4","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"cameronfreer-lean4-plugins-lean4","source":{"source":"github","repo":"cameronfreer/lean4-skills"},"description":"Unified Lean 4 plugin (draft, formalize, autoformalize, prove, autoprove, checkpoint, review, refactor, golf, learn, doctor) — LSP-first, scripts fallback","version":"4.4.8","strict":true,"keywords":[],"category":"utilities"}]}