Skip to content
Agentmart
Submit a tool

lint-tool-profiles

Internal reference: lint tool profiles (agent-loaded; do not invoke).

Skill by babyworm

IndexedMIT★ 61
Write a review

Install

Works with Claude Code, Claude apps, Codex, Cursor, Gemini CLI, GitHub Copilot, VS Code, OpenCode, Goose, Windsurf. Read the repository before you give any tool access to your data.

npx agentmarket install skill/babyworm-lint-tool-profiles

Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.

Get the weekly diff

The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.

We use your email only for this newsletter. Privacy

About

Internal reference: lint tool profiles (agent-loaded; do not invoke).

Use cases: agent-building

Reviews

Write a review

No reviews yet. Installed it? Reviews come from verified installers only. How reviews work

Permissions

What this skill can do and what it asks for, from its SKILL.md. Checked Oct 25, 2026.

Tools
No tools found
Secrets
None asked for
Install scripts
None found

Network hosts it talks to 1

  • codeload.github.com · found in install command

Files it touches

  • ~/.claude/skills/lint-tool-profiles

What's inside

Skill name
lint-tool-profiles
Description
Internal reference: lint tool profiles (agent-loaded; do not invoke).
License
MIT
Instructions
31 lines in SKILL.md · view on GitHub

Files (1)

  • SKILL.md

SKILL.md (first lines)

# 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

From babyworm/rtl-agent-team, MIT.

More from babyworm/rtl-agent-team

Signals

Stars
61
Forks
16
Open issues
0
Last commit (this folder)
Jul 8, 2026 (3 months ago)
Last release
Jul 17, 2026 (3 months ago)

From GitHub (fetched Oct 24, 2026).

Details

License
MIT
Repository
github.com/babyworm/rtl-agent-team
First seen
Oct 24, 2026
Last checked
Oct 24, 2026
Source
GitHubgithub-graphql

More from babyworm

Cite this page

lint-tool-profiles skill. Agent Mart. https://agentmart.dev/skills/babyworm-lint-tool-profiles (last updated 2026-10-24)