Rocq

LLM4Rocq/rocq-skills·by Marc Lelarge

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

Browse by category

AI & Agents Frontend & Design Backend & Data Dev Tools Automation Testing & Review Security Monitoring & Cloud Docs & Planning

Design & frontend

Design systems Animation & motion Accessibility (a11y)CSS & Tailwind UI design UX Design to code shadcn/ui Landing pages Best design skills

Five minutes, every Monday — the tools, releases and tactics for shipping solo.

unsubscribe anytime.

This week for builders