{"name":"cameronfreer-lean4-skills","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"},{"name":"cameronfreer-lean4-contribute-plugins-lean4-contribute","source":{"source":"github","repo":"cameronfreer/lean4-skills"},"description":"Draft and submit bug reports, feature requests, and insights for lean4-skills as GitHub issues. Commands may share Lean code snippets with GitHub — review every draft before confirming.","version":"0.1.0","strict":true,"keywords":[],"category":"utilities"}]}