{"name":"szch79-lean4-skills-lite-lean4-skills-lite","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"szch79-lean4-skills-lite-lean4-skills-lite","source":{"source":"github","repo":"szch79/agent-marketplace"},"description":"Lightweight Lean 4 skills — library search, proof assistance","version":"0.1.0","strict":true,"keywords":[],"category":"utilities"}]}