{"name":"cbirkbeck-mqslim","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"cbirkbeck-mqslim","source":{"source":"github","repo":"cbirkbeck/mqslim"},"description":"Slim shadow of mathlib-quality — same goals, minimal instructions, trusts frontier-model judgement","version":"0.52.0","strict":true,"keywords":["lean4","mathlib","code-quality","slim","shadow"],"category":"testing"}]}