What is ebpf-verifier-repair?

A workflow for diagnosing and repairing eBPF verifier rejections. eBPF is a way to run restricted programs in the Linux kernel, and the verifier checks that those programs are safe.

Use it to investigate and patch verifier failures in C, Rust with Aya, libbpf, BCC, bpftool, or related continuous-integration logs.

It turns verifier errors, diagnostic output, and failed tests into specific safety requirements and small source-code repairs.

ebpf-verifier-repair — Skill for Claude Code and Codex by eunomia-bpf

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 eunomia-bpf/bpfix --skill ebpf-verifier-repair

Clone the repo

git clone --depth 1 https://github.com/eunomia-bpf/bpfix

Made for: Claude Code, Codex.

Or install ebpf-verifier-repair, the plugin that ships this one along with the rest of its 1 skill.

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/eunomia-bpf/bpfix/ebpf-verifier-repair/github.svg)](https://agentmods.dev/skills/eunomia-bpf/bpfix/ebpf-verifier-repair)

Your own site

<a href="https://agentmods.dev/skills/eunomia-bpf/bpfix/ebpf-verifier-repair"><img src="https://agentmods.dev/badge/skills/eunomia-bpf/bpfix/ebpf-verifier-repair/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/eunomia-bpf/bpfix/ebpf-verifier-repair"><img src="https://agentmods.dev/badge/skills/eunomia-bpf/bpfix/ebpf-verifier-repair.svg" alt="Reviewed on agentmods" width="80" height="20"></a>

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

When invoked 1,836 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.

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.00134	$0.01836
Opus 5.5	$0.00054	$0.00734
Sonnet 5.5	$0.00027	$0.00367
Haiku 4.5	$0.00013	$0.00184

Measured 2mo ago against content hash ea715d727ad9, method: parsed. Prices are Anthropic first-party input rates as of 2026-10-07, from the pricing page.

Security

Grade A, and why

ebpf-verifier-repair 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 2mo ago.

The scan reads SKILL.md. This mod also ships 2 executable files (scripts/extract_verifier_failure.py, scripts/run-bpfix-diagnostic.sh), listed below but not scanned — reading those needs a real analyzer, not pattern matching.

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/ebpf-verifier-repair/SKILL.md · 156 lines

How it starts

The opening of the file, as written. The whole thing — 156 lines — stays where its author put it; the contents beside it link to each section on GitHub.

eBPF Verifier Repair

Overview

Repair verifier failures as missing proof obligations, not as string-matched terminal errors. A full verbose verifier log plus source is sufficient evidence to start; use bpfix only when it is available and helpful. Make the smallest verifier-visible source change that preserves program semantics and proves the required safety fact to the kernel verifier.

Do not split work into one skill per verifier error family. BPFIX-E*, failure_class, and next_action values are routing signals inside this workflow; the reusable user job is "repair this verifier rejection."

Resource Routing

Read references/log-collection.md when the user did not provide a full verbose verifier log, the log is incomplete, or the framework/loader command is unclear.
Read references/raw-log-triage.md whenever repairing from a raw verifier log. Use its rejected-instruction and proof-lifecycle procedure before selecting a source rewrite.
Read references/diagnostic-routing.md only when a BPFix diagnostic is provided or generated. Do not block raw-log repair on this file.
Read references/repair-patterns.md before editing source, selecting a verifier-visible rewrite, or reviewing a proposed patch.
Read references/semantic-preservation.md before editing a nontrivial program, especially when it updates maps, emits events, has fallback policy, or uses multiple acquired resources.
Read references/failure-directed-retry.md after any candidate fails to compile, load, or pass the semantic oracle. Route the next edit by the failure stage instead of starting a new speculative repair.
Run scripts/run-bpfix-diagnostic.sh only when BPFix is available and a repeatable plain-text diagnostic artifact would make the repair loop clearer.
Run scripts/extract_verifier_failure.py verifier.log when a raw log is too large for the working context. Keep the original log and inspect omitted PCs when the initial slice does not reveal proof origin or loss.

Read the full file on GitHub · 156 lines

Files

What ships with it

10 files beside SKILL.md in the same directory: the scripts, references and assets a skill reads on demand. Not counted in the per-session cost; read them before you install if any of them is executable.

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.

2mo ago First seen · 156 lines · 134 tokens per session scan A ea715d727ad9

Subscribe to this mod's changes

ebpf-verifier-repair is a skill published in the GitHub repository eunomia-bpf/bpfix (23 stars, last pushed 6d ago), licensed MIT. It adds 134 tokens to every session and 1,836 once invoked, about $0.0005 per session on Opus 5.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-08-30.

Debugging Rust agent-skills ebpf verifier

ebpf-verifier-repair next to 6 skills from other repositories
Mod	Type	Stars	Last push	Licence	Scan	Tokens	Works with
ebpf-verifier-repaireunomia-bpf/bpfix	Skill	23	6d ago	MIT	A	134	Claude Code, Codex
moli-webfetchlexmount/moli	Skill	23k	yesterday	Apache-2.0	A	90	Codex
rust-checkHmbown/CodeWhale	Skill	41k	5d ago	MIT	A	15	Claude Code, Codex
moli-cdp-serverlexmount/moli	Skill	23k	yesterday	Apache-2.0	A	74	Codex
debugHmbown/CodeWhale	Skill	41k	5d ago	MIT	A	30	Claude Code, Codex
debug-taskmoonrepo/moon	Skill	4.2k	yesterday	MIT	A	203	Claude Code
stack-trace-rust-probeopensquilla/opensquilla	Skill	7.1k	6d ago	Apache-2.0	A	42	Claude Code