What is lint-tool-profiles?

An internal reference for running and interpreting hardware lint tools. Lint checks RTL and testbench code for likely mistakes without running a full simulation.

It supports lint checks for SystemVerilog hardware and testbench files using open-source or commercial tools.

It standardizes lint results and defines how errors determine whether a code-quality check passes.

lint-tool-profiles — Skill for Claude Code by babyworm

Install

Getting it into your agent

One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.

Any agent

npx skills add babyworm/rtl-agent-team --skill lint-tool-profiles

Clone the repo

git clone --depth 1 https://github.com/babyworm/rtl-agent-team

Made for: Claude Code.

Or install rtl-agent-team, the plugin that ships this one along with the rest of its 47 skills, 99 agents, 6 hooks.

Wrote this? Show the measurements

A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.

README.md

[![agentmods](https://agentmods.dev/badge/skills/babyworm/rtl-agent-team/lint-tool-profiles/github.svg)](https://agentmods.dev/skills/babyworm/rtl-agent-team/lint-tool-profiles)

Your own site

<a href="https://agentmods.dev/skills/babyworm/rtl-agent-team/lint-tool-profiles"><img src="https://agentmods.dev/badge/skills/babyworm/rtl-agent-team/lint-tool-profiles/github.svg" alt="Measured on agentmods" height="20"></a>

Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.

Your own site · 80×15

<a href="https://agentmods.dev/skills/babyworm/rtl-agent-team/lint-tool-profiles"><img src="https://agentmods.dev/badge/skills/babyworm/rtl-agent-team/lint-tool-profiles.svg" alt="Reviewed on agentmods" width="80" height="20"></a>

Per session 19 Skills are progressive disclosure: only the name and description are preloaded; the body loads when the skill is used.

When invoked 464 The whole file, excluding the scripts and references it only reads on demand.

Security scan A 0 findings. A grade says what 26 rules found in the file — not that it is safe. Third-party audits

NVIDIA SkillSpector pass 7 Sept 2026

How audits are shown

Origin original No closer match found in the catalogue.

Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

Model	Per session	Once invoked
Fable 5.1	$0.00019	$0.00464
Opus 5	$0.00010	$0.00232
Sonnet 5	$0.00004	$0.00093
Haiku 4.5	$0.00002	$0.00046

Measured 7d ago against content hash 311172300041, method: parsed. Prices are Anthropic first-party input rates as of 2026-09-10, from the pricing page.

Security

Grade A, and why

lint-tool-profiles scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 7d ago.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

skills/lint-tool-profiles/SKILL.md · 36 lines

What it actually says

Lint Tool Profiles

Common Contract

Prefer wrapper: lint/scripts/run_lint.sh
All profiles must normalize output into:
- errors, warnings, tool, log_path, replay_path
Gate decision is based on normalized errors == 0

Open-Source Baseline

verilator:
- lint/scripts/run_lint.sh --tool verilator -f rtl/filelist_top.f --outdir lint/lint
verible:
- lint/scripts/run_lint.sh --tool verible -f rtl/filelist_top.f --outdir lint/lint
slang:
- lint/scripts/run_lint.sh --tool slang -f rtl/filelist_top.f --outdir lint/lint
- Auto-detects RTL vs TB based on source file paths:
  - RTL (rtl/): runs with -Weverything for maximum strictness — catches always_ff multi-driver violations (VCS ICPD), uninitialized variables, width mismatches, etc.
  - TB (sim/): runs with --allow-dup-initial-drivers — permits initial + always_ff on same signal (common testbench pattern)
- Only slang catches IEEE 1800 §9.2.2.4 multi-driver violations; Verilator and Verible do not

Commercial Profile

spyglass (binary: sg_shell, config key: sg_shell, script flag: --tool spyglass):
- lint/scripts/run_lint.sh --tool spyglass --top <top> -f rtl/filelist_top.f --outdir lint/lint
- Note: rat_config.json uses sg_shell as tool key; runner scripts accept --tool spyglass

Severity Mapping

Tool error/fatal -> normalized error
Tool warning -> normalized warning
Unknown parse line -> keep raw log reference and mark parse caution

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

7d ago First seen · 36 lines · 19 tokens per session scan A 311172300041

Subscribe to this mod's changes

lint-tool-profiles is a skill published in the GitHub repository babyworm/rtl-agent-team (51 stars, last pushed 18d ago), licensed MIT. It adds 19 tokens to every session and 464 once invoked, about $0.0001 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-09-03.

Debugging Hardware and IoT codec hardware harness rtl verification

hardware-health-check

Out-of-band hardware health via Redfish BMC (read-only) — power state, component health, thermal and power readings, firmware inventory, SEL log triage. Use when determining whether a host is powered off versus unreachable, checking hardware faults, reviewing thermal or PSU state, or triaging BMC event logs.

automateyournetwork/netclaw · 67 tokens

boot-doctor-mcp

Deterministic PC no-boot / no-POST / no-display troubleshooting — real BIOS beep-code lookup and a ranked next-steps engine, no LLM guessing at hardware causes. Use this whenever the user describes a computer that won't turn on, won't POST, has no display output, is beeping, or asks for hardware troubleshooting steps…

pamela-0/boot-doctor-mcp · 111 tokens

fpga-hardware-design-and-review-guide

Comprehensive FPGA hardware design guide based on real-world project experience. Covers pipeline architecture, timing optimization, SystemVerilog coding patterns, CDC handling, and practical debugging techniques. Use this skill when: (1) designing FPGA modules with timing constraints, (2) implementing video processing…

cobbpeng/fpga-hardware-design-and-review-guide · 99 tokens

vdebug

Trace failing signals through the RTL hierarchy, classify root cause, and write a debug report per issue — no fix is proposed.

phamcuong21478/rtl-skills · 27 tokens

gke-ai-troubleshooting-tpu-dynamic-slices-monitoring

Monitors, troubleshoots, and manages GKE TPU Dynamic Slices custom resources. Use when checking TPU slice lifecycle states, troubleshooting slice provisioning failures, validating single-slice or multi-slice (JobSet) workload manifests, or safely patching stuck finalizers and disabling the slice controller. Don't use…

google/skills · 107 tokens

gke-ai-troubleshooting-tpu-vbar-oom

Diagnoses and prevents vbarcontrolagent segfaults, out-of-memory (OOM) errors, and TPU device initialization failures on TPU v6e nodes in GKE caused by race conditions during TPU device resets or high-frequency metrics polling. Use when troubleshooting vbarcontrolagent crashes, memory cgroup OOMs in serial console…

google/skills · 125 tokens