Skip to content
Code Generation
Command

/gf-lint

Run lint

BOOST
From plugin
gateflow-plugin
11821 skills20 agents21 commands
Install
> /plugin marketplace add codejunkie99/gateflow-plugin
> /plugin install gateflow@gateflow

How it fires

How this command gets triggered: by you, by Claude, or both.

  • Fires itselfClaude auto-loads it when your prompt matches the work.
  • You can call itInvoke it directly when you want it.
  • Slash command/gf-lint

Context preview

What this command does when you run it.

Run lint

Command definition

gf-lint.md
name: gf-lint
description: Run lint
argument-hint: "[files...]"
allowed-tools:
  - Bash
  - Read
  - Glob

GateFlow Lint Command

Run Verilator lint checks to find errors and warnings in SystemVerilog code.

> **Note:** The `/gf` orchestrator uses `skills/gf-lint` internally, which provides > structured output (GATEFLOW-RESULT blocks) for automated processing. This command > version is for direct user invocation and provides human-friendly output.

Instructions

1. If specific files are provided, lint those files:

   verilator --lint-only -Wall <files>

2. If no files specified, find and lint all SV files:

   verilator --lint-only -Wall *.sv

3. Parse the output and categorize issues:

  • **Errors**: Must be fixed before simulation
  • **Warnings**: Should be reviewed and addressed
  • **Style**: Optional improvements

4. For each issue found:

  • Show the file and line number
  • Explain what the error means
  • Suggest how to fix it

5. Common Verilator warnings to explain:

  • `UNUSED`: Unused signal or variable
  • `UNDRIVEN`: Signal never assigned
  • `WIDTH`: Bit width mismatch
  • `CASEINCOMPLETE`: Missing case items
  • `BLKSEQ`: Blocking assignment in sequential block
Ships withgateflow-plugin

AI-powered hardware development platform — design, verify, synthesize, and deploy working RTL with natural language. Supports SystemVerilog, Verilog, and VHDL across the full open-source FPGA toolchain. Loving hardware doesn't have to be gatekept.

Get the whole plugin

Other commands on gateflow-plugin.