Marketplace

rocq-skills

Rocq theorem proving with guided + autonomous proving, MCP-first workflows, guardrails, and contribution helpers

Component Overview

Commands

Agents

Skills

Hooks

MCP Servers

LSP Servers

Output Styles

Themes

Monitors

Install

npx claudepluginhub llm4rocq/rocq-skills

1 Plugin

rocq

Unified Rocq plugin (draft, formalize, autoformalize, prove, autoprove, checkpoint, review, refactor, golf, learn, doctor) — MCP-first, scripts fallback

v0.1.0

Related Marketplaces

nextjs

139.2K

0plugins

No description available.

thedotmack

67.7K

0plugins

Plugins by Alex Newman (thedotmack)

bmad-method

45.7K

0plugins

Breakthrough Method of Agile AI-driven Development — a full-lifecycle framework with agents and workflows for analysis, planning, architecture, and implementation.

Stats

Plugins1

Stars3

UpdatedApr 26, 2026

Links

View on GitHub View Marketplace JSON