{"name":"cameronfreer-lean4-contribute-plugins-lean4-contribute","owner":{"name":"ClaudePluginHub"},"plugins":[{"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"}]}