Marc Lelarge avatar

Rocq Skills

LLM4Rocq/rocq-skills · 1 plugin

1 plugins

/plugin marketplace add LLM4Rocq/rocq-skills
GitHub stars★ 6
RepositoryLLM4Rocq/rocq-skills ↗

Plugins in this marketplace

1 plugin - install individually after you add the marketplace.

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

Recommended Marketplaces

0k-software0k Plugins1 plugins0xgonzalo0xgonzalo1 pluginsobat0xobat Skills5 pluginsHenry Chu104 Jobhunt1 plugins2yukurash16 Minds Marketplace1 plugins31WP1wp Plugins1 plugins2
Development Toolsintegrations
Browse by category
AI & AgentsFrontend & DesignBackend & DataDev ToolsAutomationTesting & ReviewSecurityMonitoring & CloudDocs & Planning
Design & frontend
Design systemsAnimation & motionAccessibility (a11y)CSS & TailwindUI designUXDesign to codeshadcn/uiLanding pagesBest design skills

This week for builders

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

unsubscribe anytime.