Agentic Lint

SkillDev tools

Interprets ironlint PreToolUse hook output after Edit/Write -- fixes the blocked edits it reports.

Available today. Use it from your connected AI after setup.

Connect ahel once, and every AI you use reads what you have installed.

Then ask your AI: use the Agentic Lint skill

What this skill tells your AI

The instructions your AI receives, as published by ironlint/ironlint in adapters/claude-code/skills/ironlint/SKILL.md and read by ahel’s review.

Interpret and act on ironlint PreToolUse hook output. Not user-invocable.

When blocked (hook exited 2)

The tool-result stderr is a Verdict JSON whose status is block. A check is a shell command; it blocked because it exited nonzero (1125). The adapter uses hook exit 2 to reject the tool call. Shape:

{
  "schema_version": 6,
  "status": "block",
  "blocks": [
    {"check": "no-debug", "step": null, "file": "src/foo.rs", "message": "src/foo.rs:42: DEBUG marker"}
  ],
  "errors": [],
  "passed": ["no-todo"]
}

Each entry in blocks is one check that rejected the edit:

  • check — the check id that blocked (defined in .ironlint.yml).
  • file — the file it checked.
  • message — the check's own combined output, verbatim. This is your instruction for what to fix; if the check emits line numbers (e.g. a grep -n or a linter), they're in here.

Fix every entry in blocks in the named file before any other tool call. The hook re-fires on the next Edit and re-checks. Repeat until blocks is empty.

passed

passed lists the check ids that ran and passed for this file. Their concerns are already satisfied — don't re-investigate them.

errors

errors lists checks that couldn't run (not found, timed out, or killed) — each is {check, file, reason}, not a policy violation. By default the hook fails open on these (the edit is allowed and nothing reaches you); you'll only see an error note when the project set IRONLINT_FAIL_CLOSED_ON_INTERNAL=1. A check that couldn't run is a broken check, not a finding — surface it, don't try to satisfy it.

Signals

GitHub stars
20
Forks
2
Last commit
Sep 2026
Advanced
Catalog kind
skill
Gateway key
ironlint
Source
github.com/ironlint/ironlint