{"name":"szch79-my-claude-marketplace","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"},{"name":"szch79-obsidian-kb-obsidian-kb","source":{"source":"github","repo":"szch79/agent-marketplace"},"description":"Knowledge base management via Obsidian vault for Claude Code","version":"0.1.0","strict":true,"keywords":[],"category":"utilities"}]}