Skill Claude CodeCodex
Use when checking whether an IronLint adapter still matches its coding harness's current contract — auditing adapter/harness drift, verifying hook payload shapes, plugin manifest schemas, lifecycle events, or tool names are up to date, or doing periodic adapter maintenance. Takes a harness name (claude-code, codex…
Skill Claude CodeCodex
Removes transient build artifacts this task produced in the ironlint repo before declaring work done. Use at the end of any task that ran cargo build --release, cargo mutants, cargo llvm-cov, generated a one-off binary, wrote a scratch file like pr.diff or an ad-hoc tarball, or any other throwaway output. Do NOT use…
Plugin Claude Code
Plugin marketplace listing 1 plugin: ironlint.
Instructions file CodexOpenCode
Instructions for ironlint/ironlint, covering agents.md, what this is, commands, invariants — do not break and process rules.
Instructions file
Instructions for ironlint/ironlint, a project described as: Agentic-native linting tool to enforce deterministic quality gates.
Plugin Claude Code
Local CI for AI coding agents: a checks pipeline (files + run/steps) where any nonzero exit blocks the write, guarded by a trust allow-list. Claude Code adapter.
Hook
Runs before the agent uses a tool for Edit and Write tool calls, executing hook.sh. From ironlint/ironlint.
Skill Claude CodeCodex
Bootstraps a project's .ironlint.yml with IronLint's generic baseline, then helps the user deliberately add checks for their stack and existing linters. Use when user says "init ironlint", "set up ironlint", "bootstrap ironlint config", "create ironlint checks", "ironlint init", or asks to create or generate an…
Skill Claude CodeCodex
Reviews ironlint check health from the telemetry log. Use when the user says "review my ironlint checks", "check health", "which ironlint checks are noisy", "find dead ironlint checks", "ironlint review", or asks for an audit of .ironlint.yml.
Skill Claude CodeCodex
Interprets ironlint PreToolUse hook output after Edit/Write -- fixes the blocked edits it reports.
Skill Claude CodeCodex
Authors, modifies, or removes checks in an ironlint .ironlint.yml. Use when the user says "add an ironlint check for X", "ban Y", "tighten ", "stop checking ", "remove ", "change the scope of a check", or asks how to write an ironlint config.