Stats
Links
Categories
Marketplace
rocq-skills
Rocq theorem proving with guided + autonomous proving, MCP-first workflows, guardrails, and contribution helpers
$
npx claudepluginhub llm4rocq/rocq-skills1 Plugin
rocq
5·
Unified Rocq plugin (draft, formalize, autoformalize, prove, autoprove, checkpoint, review, refactor, golf, learn, doctor) — MCP-first, scripts fallback
2mo
LLM4Rocq