eunomia-bpf

eunomia-bpf/bpfix

Plugin Claude Code

Diagnose and repair eBPF verifier failures from source and verbose logs.

eunomia-bpf/bpfix

Skill Claude CodeCodex

End-to-end workflow for diagnosing and repairing eBPF verifier rejections in C, Rust/Aya, libbpf, libbpf-rs, BCC, bpftool, and CI logs from raw verbose verifier logs, BPFix diagnostics, or source/test failures. Use when Codex is asked to fix, explain, or patch verifier errors, verifier logs, BPFIX diagnostics, packet…

eunomia-bpf/research-skills

Skill Claude CodeCodex

Start, orchestrate, or resume an autonomous research project through hierarchical EXPERIMENT, WRITE, and REVIEW gates. Use when running a project from a rough idea to a complete paper, recovering after context loss, deciding which gate or inner loop must run next, auditing whether a specialist loop actually completed…

eunomia-bpf/research-skills

Skill Claude CodeCodex

Verify every citation in a paper is real, accurate, and correctly used. Downloads PDFs, reads abstracts, checks claims against source text, flags AI-hallucinated references, identifies uncited claims, and maintains structured annotations in the .bib file. Use when the user says "check citations", "verify references"…

eunomia-bpf/research-skills

Skill Claude CodeCodex

Check a systems paper's structure at macro level (sections, subsections) and micro level (paragraph roles, sentence flow). Covers section organization, intro/abstract paragraph conventions, explicit RQ-organized evaluation, design/impl separation, and within-section flow for 12-page full papers, 6-page workshop…

eunomia-bpf/research-skills

Skill Claude CodeCodex

Check terminology, invented jargon, concept consistency, information flow, and cross-paper factual consistency in LaTeX papers. Use for undefined or drifting terms, difficult paragraph flow, architecture or workflow contradictions, claim/number drift, figure/table mismatches, interface-versus-mechanism conflicts, and…

eunomia-bpf/research-skills

Skill Claude CodeCodex

Discuss possible revisions to the scientific idea and academic architecture of a research paper through three mandatory serial read-only research discussions, returning proposals to the root agent; it does not edit the paper, execute experiments, or polish prose. Use only when the user's own current request explicitly…

eunomia-bpf/research-skills

Skill Claude CodeCodex

Iteratively refine the WRITING of a systems paper through 12 serial review-fix rounds. Covers macro structure, micro structure, section conventions, explicit RQ-organized evaluation, logic flow, abstract/intro rebuild, consistency, language (3 passes), terminology/claim tone, citation verification, and a final…

eunomia-bpf/research-skills

Skill Claude CodeCodex

Iteratively review and attack a complete research paper across systems, AI/ML, or cross-domain venues. Use for an orchestrated REVIEW gate, whole-paper accept/reject simulation, source-grounded novelty and evidence attack, external closest-work/baseline/protocol/contradictory-evidence search, cycle-change audit, or…

eunomia-bpf/research-skills

Skill Claude CodeCodex

Create, audit, and improve figures in systems papers. Covers both design diagrams (architecture, flow, component) and result plots (bar charts, line plots, heatmaps). Checks figure-text alignment, abstraction level, claim support, and visual clarity. Use when the user says "draw an architecture diagram", "make a…

eunomia-bpf/research-skills

Skill Claude CodeCodex

Review and fix sentence-level writing quality in LaTeX paper sections. Checks punctuation, sentence structure, word choice, and systems-paper prose conventions. For terminology/jargon/concept/information-flow issues, use check-terminology-infoflow instead.

eunomia-bpf/research-skills

Skill Claude CodeCodex

Select, plan, review, execute, and interpret the highest-paper-value real experiment for one hypothesis within a paper-level research question. Use for experiment selection, baseline/workload/metric choice, crowded-run consolidation, real preflight, full execution, result review, or an orchestrated EXPERIMENT gate.…

eunomia-bpf/research-skills

Skill Claude CodeCodex

Build a claim-oriented literature and novelty map for a research project. Use when searching related work, checking closest prior work, identifying same-claim risk, choosing baselines, summarizing papers for a top-conference framing, downloading/organizing reference PDFs, or updating docs/background-related-work.md.…

eunomia-bpf/research-skills

Skill Claude CodeCodex

Restructure and iteratively rewrite a systems paper's abstract and introduction from their current state while preserving claims, evidence, citations, numbers, notation, and established terminology. Use when the user asks to rewrite, reorganize, rebuild, or fix the abstract or introduction, when their logic or…

eunomia-bpf/research-skills

Skill Claude CodeCodex

Rewrite a selected LaTeX body paragraph, subsection, or section for a strong systems paper while preserving technical meaning, evidence, citations, notation, and established terminology. Use for local or structural rewrites of motivation, background, design, implementation, evaluation, related work, discussion…

eunomia-bpf/research-skills

Skill Claude CodeCodex

Tightens selected LaTeX prose for SOSP/OSDI-style systems papers by cutting redundancy and vague wording while preserving mechanisms, qualifiers, and evidence. Use when the user asks to tighten, shorten, de-verbose, or polish LaTeX without changing technical claims, or when prose feels wordy but the structure is…