{"name":"llm4rocq-rocq-skills","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"llm4rocq-rocq-plugins-rocq","source":{"source":"github","repo":"llm4rocq/rocq-skills"},"description":"Unified Rocq plugin (draft, formalize, autoformalize, prove, autoprove, checkpoint, review, refactor, golf, learn, doctor) — MCP-first, scripts fallback","version":"0.1.0","strict":true,"keywords":[],"category":"utilities"}]}