park-sunho

5 mods in 1 plugin, 1 repository, 10 stars between them.

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

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