{"name":"mutable-state-inc-lean-collab","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"mutable-state-inc-lean-collab","source":{"source":"github","repo":"mutable-state-inc/lean-collab"},"description":"Multi-agent collaborative theorem proving with LeanTree and Ensue Memory Network","version":"0.2.0","strict":true,"keywords":[],"category":"utilities"}]}