Stats
Links
Categories
Marketplace
coqtail-mcp
Marketplace for the coqtail-mcp Claude Code plugin: a skill plus four named subagents that drive a live Rocq/Coq proof session through the coqtail-mcp MCP server.
$
npx claudepluginhub park-sunho/coqtail-mcp1 Plugin
coqtail-mcp
4·
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).
1mo
park-sunho