verify-bpf Skill
Build and verify eBPF programs for the ebpf-for-windows project. Use this skill when asked to compile a .c BPF source to .o, verify a .o ELF file with bpf2c, or diagnose verification failures. Covers the full clang→bpf2c pipeline. Published by microsoft in ebpf-for-windows.
What is verify-bpf Skill?
Build and verify eBPF programs for the ebpf-for-windows project. Use this skill when asked to compile a .c BPF source to .o, verify a .o ELF file with bpf2c, or diagnose verification failures. Covers the full clang→bpf2c pipeline. Published by microsoft in ebpf-for-windows. This profile combines repository metadata with install, compatibility, and usage signals so developers can quickly decide whether it fits their agent workflow before opening the source repository.
Automated repository signals based on public metadata such as recency, license, installation evidence, and adoption. These are not a security audit or endorsement.
Key capabilities
- Includes SKILL.md support
- Reusable instructions support
- Developers using ebpf-for-windows
Technical details
- Install or run with Copy skill directory
When to use verify-bpf Skill
- Use it for developers using ebpf-for-windows.
Built with
Editorial notes
Source
- Creator: microsoft
- Repository: microsoft/ebpf-for-windows
- Skill file: .github/skills/verify-bpf/SKILL.md
What it does
Build and verify eBPF programs for the ebpf-for-windows project. Use this skill when asked to compile a .c BPF source to .o, verify a .o ELF file with bpf2c, or diagnose verification failures. Covers the full clang→bpf2c pipeline.
Skill instructions
Build & Verify eBPF Programs (ebpf-for-windows) Compile eBPF C source to ELF bytecode with clang, then verify (and optionally generate native code) with bpf2c. On verification failure, diagnose using the PREVAIL reference. When to Use - User asks to compile/build a .c eBPF program to .o - User asks to verify a .o ELF file or check if it passes the verifier - User asks to debug or fix a verification failure from bpf2c output - User mentions bpf2c, clang+bpf, or PREVAIL verification in the ebpf-for-windows context Prerequisites - clang.exe — find the first existing path (highest priority first): packages\llvm.tools\clang.exe, "$env:ProgramFiles\LLVM\bin\clang.exe", "$(& "${env:ProgramFiles(x86)}\Microsoft Visual Studio\Installer\vswhere.exe" -latest -property installationPath)\VC\Tools\Llvm\bin\clang.exe" - bpf2c.exe — if x64\Debug\bpf2c.exe is missing, build it: msbuild ebpf-for-windows.sln /m /p:Configuration=Debug /p:Platform=x64 /t:tools\bpf2c Quick Reference 1. Compile: C → ELF (.o)
Explore related resources
Frequently asked questions
What is verify-bpf?
verify-bpf is a open-source AI agent skill with Copy skill directory. Build and verify eBPF programs for the ebpf-for-windows project. Use this skill when asked to compile a .c BPF source to .o, verify a .o ELF file with bpf2c, or diagnose verification failures.
Who is verify-bpf best for?
verify-bpf is best for reusing agent instructions, scripts, and references.
How do I install verify-bpf?
Install or run verify-bpf using Copy skill directory. Check verify-bpf for the latest setup command.
Is verify-bpf actively maintained?
verify-bpf may need a closer maintenance check before production use.
Auto-fetched from GitHub.
