{"name":"park-sunho-coqtail-mcp","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"park-sunho-coqtail-mcp-plugins-coqtail-mcp","source":{"source":"github","repo":"park-sunho/coqtail-mcp"},"description":"Drive a live Rocq/Coq proof session through coqtail-mcp. Bundles the skill (server mechanics + proof recipes) and four named subagents (proof-repair, admitted-filler-deep, axiom-auditor, proof-golfer).","version":"0.1.0","strict":true,"keywords":[],"category":"deployment"}]}