park-sunho/Coqtail-mcp — Plugins

10Stars on the repository

6Mods indexed here, across every type

3mo agoLast push, which is what freshness is scored on

customA LICENSE file GitHub cannot name, so bodies are not copied

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

coqtail-mcp

park-sunho/Coqtail-mcp

Plugin Claude Code

Bundles 1 skill, 4 agents · 443 tokens together

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).

not rated 10 3mo ago A tokens not measured