Add the marketplace
/plugin marketplace add biruk741/cc-pluginsInstall plugins
/pluginRun these commands in Claude Code to add this plugin to your environment. The marketplace must be added before you can install its plugins.
Formal verification-based debugging with parallel evidence collection, proof construction, and automatic cleanup
Plan complex tasks with adversarial Codex review, decompose into parallel phases, and execute through coordinated subagents
A complete hackathon execution pipeline — from ideation through demo. Guides teams through structured phases with living documents, contract-driven parallel development, and role-aware task management.
The comprehensive AI documentation toolkit. Generate, audit, sync, and manage documentation for Claude Code, Cursor, and Codex CLI.