Stats
Actions
Tags
From gateflow
Manages GateFlow IP block library: list available blocks with verification status, show details like ports and proofs, or add block to project by copying RTL/TB/formal files and updating project.yaml.
How this command is triggered — by the user, by Claude, or both
Slash command
/gateflow:gf-ip add|list|info <block>This command is limited to the following tools:
The summary Claude sees in its command listing — used to decide when to auto-load this command
# GateFlow IP Library Command
## Usage
## Execution
### list
Read all `${CLAUDE_PLUGIN_ROOT}/ip/*/block.yaml` files.
Display: name, description, verification status.
### info <block>
Read `${CLAUDE_PLUGIN_ROOT}/ip/<block>/block.yaml`.
Display: description, parameters, ports, formal proofs, dependencies.
### add <block>
1. Read block.yaml for metadata
2. Copy `rtl/*.sv` to project `rtl/` directory
3. Copy `tb/*.sv` to project `tb/` directory
4. Copy `formal/*` to project `formal/` directory
5. Update `.gateflow/project.yaml` — add to `ip_blocks` list
6. Report what was installed and h.../gf-ip list # Show all available IP blocks
/gf-ip info fifo_sync # Show block details and ports
/gf-ip add fifo_sync # Install block into current project
Read all ${CLAUDE_PLUGIN_ROOT}/ip/*/block.yaml files.
Display: name, description, verification status.
Read ${CLAUDE_PLUGIN_ROOT}/ip/<block>/block.yaml.
Display: description, parameters, ports, formal proofs, dependencies.
rtl/*.sv to project rtl/ directorytb/*.sv to project tb/ directoryformal/* to project formal/ directory.gateflow/project.yaml — add to ip_blocks listnpx claudepluginhub codejunkie99/gateflow-plugin --plugin gateflow/flow-gate-checkOrchestrates multi-agent validation for SDLC phase gates like inception, security, or pre-deploy in a project directory, generating comprehensive readiness reports with optional guidance and interactive Q&A.
/f5-strictManages strict implementation sessions from requirements files: start parsing checklists, approve scope, mark progress, validate traceability, and generate compliance reports.
/doctorRuns health check for the great_cto pipeline, reporting missing required files, PROJECT.md format issues, hook status, last run per agent, and permission-denied tails. Optional --fix flag outputs remediation commands.
/patternsLists available patterns with details, searches by keyword with relevance scores, or shows full pattern content from the Pattern Reference Layer.
/helpLists all Shen Backpressure commands with descriptions and usage guidance for formal verification workflows. Also supports subcommands for init, loop, derive, and scaffold.