Agentic Lint
SkillDev toolsInterprets ironlint PreToolUse hook output after Edit/Write -- fixes the blocked edits it reports.
Available today. Use it from your connected AI after setup.
No other account needed.
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 (1–125). 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. agrep -nor 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