[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"skill:01M69BN1TSPVSGK8P5ARTGPJF8":3,"skill-same:01M69BN1TSPVSGK8P5ARTGPJF8":52},{"skillNo":4,"name":5,"nameZh":6,"description":7,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":16,"categories":17,"keywords":18,"publishedAt":24,"linkOnly":25,"markdownContent":26,"markdownBody":27,"frontMatter":28,"refName":29,"commitSha":30,"skillDirectory":31,"forksCount":32,"repositoryHtmlUrl":33,"repositoryHomepageUrl":6,"ownerHtmlUrl":34,"ownerBlogUrl":35,"ownerDescription":36,"updatedAt":37,"install":38,"resources":51},"01M69BN1TSPVSGK8P5ARTGPJF8","build-prevail",null,"Build and test the PREVAIL verifier (external\u002Febpf-verifier) standalone. Use this skill when asked to build, test, or iterate on the PREVAIL verifier, run YAML verification tests, or work with the verifier's cmake build system.","microsoft\u002Febpf-for-windows","microsoft","https:\u002F\u002Favatars.githubusercontent.com\u002Fu\u002F6154722?v=4","01M698VYDXZ6JW5WH3CRV650R8","Microsoft","01M69BMT4VCWMXBB495CRX6P3V",3589,"MIT","https:\u002F\u002Fgithub.com\u002Fmicrosoft\u002Febpf-for-windows\u002Fblob\u002Fmain\u002F.github\u002Fskills\u002Fbuild-prevail\u002FSKILL.md",[],[19,20,21,22,23],"build prevail","build and test","test","cmake","run","2026-11-10 10:12:30",false,"---\nname: build-prevail\ndescription: >\n  Build and test the PREVAIL verifier (external\u002Febpf-verifier) standalone.\n  Use this skill when asked to build, test, or iterate on the PREVAIL verifier,\n  run YAML verification tests, or work with the verifier's cmake build system.\n---\n\n# Build and Test PREVAIL Verifier\n\nBuild and test the PREVAIL eBPF verifier (`external\u002Febpf-verifier`) independently from the main eBPF for Windows solution.\n\n## When to Use\n\n- Working on verifier changes in `external\u002Febpf-verifier\u002F`\n- Running or debugging YAML verification tests\n- Building `run_yaml.exe` or `tests.exe` for the verifier\n- Iterating on verifier fixes with faster feedback than full MSBuild\n\n## Prerequisites\n\nThe verifier's cmake build directory must exist. If `external\u002Febpf-verifier\u002Fbuild\u002F` is missing, run from the solution root:\n\n```powershell\n.\\scripts\\initialize_ebpf_repo.ps1\n```\n\nThis generates cmake projects for the verifier (and other submodules). You only need to do this once, or after resetting submodules.\n\n## Building Standalone\n\n```powershell\ncd external\\ebpf-verifier\n\n# Build the YAML test runner (most common during development)\ncmake --build build --config Release --target run_yaml\n\n# Build the full Catch2 test binary\ncmake --build build --config Release --target tests\n\n# Clean build (rebuild everything from scratch)\ncmake --build build --config Release --clean-first\n```\n\n### Enabling Standalone Tests\n\nWhen built as a submodule, `prevail_ENABLE_TESTS` defaults to OFF. To enable standalone tests:\n\n```powershell\ncmake -B build -Dprevail_ENABLE_TESTS=ON\ncmake --build build --config Release\n```\n\n**Note:** The `initialize_ebpf_repo.ps1` script does NOT enable tests. You need to reconfigure with `-Dprevail_ENABLE_TESTS=ON` if you want to build `tests.exe` standalone.\n\n## Running YAML Tests\n\nYAML test files are in `external\u002Febpf-verifier\u002Ftest-data\u002F*.yaml`. Each file is a test suite with individual tests separated by `---`.\n\n```powershell\ncd external\\ebpf-verifier\n\n# Run all tests in a suite\n.\\bin\\run_yaml.exe test-data\\loop.yaml\n\n# Run tests matching a substring\n.\\bin\\run_yaml.exe test-data\\loop.yaml \"while loop with\"\n\n# Run a specific test by exact name\n.\\bin\\run_yaml.exe test-data\\bitop.yaml \"AND with 0xFF preserves relations when value fits\"\n```\n\n### Exit codes\n- `0` — all tests passed\n- `1` — one or more tests failed\n\n### Discovering postconditions for new tests\n\nWhen writing new YAML tests, use placeholder postconditions and run the test to discover actual values:\n\n```yaml\npost:\n  - placeholder\nmessages:\n  - placeholder\n```\n\nThe failure output shows \"Unexpected properties\" (actual values) and \"Unseen properties\" (your placeholders). Copy the actual values into your test.\n\n### Available test suites\n\n| Suite | Description |\n|-------|-------------|\n| `loop.yaml` | Bounded loop verification (termination checking) |\n| `bitop.yaml` | Bitwise operations (AND, OR, XOR) |\n| `movsx.yaml` | Sign extension (MOVSX) operations |\n| `sext.yaml` | Sign\u002Fzero extension relational tests |\n| `jump.yaml` | Conditional jumps and branching |\n| `packet.yaml` | Packet access safety |\n| `pointer.yaml` | Pointer arithmetic and safety |\n| `stack.yaml` | Stack access verification |\n| `call.yaml` | Helper function calls |\n| `calllocal.yaml` | Local (subprogram) calls |\n| `assign.yaml` | Register assignment |\n| `add.yaml` \u002F `subtract.yaml` | Arithmetic operations |\n| `muldiv.yaml` \u002F `sdivmod.yaml` \u002F `udivmod.yaml` | Multiplication, division, modulo |\n| `shift.yaml` | Shift operations |\n| `atomic.yaml` | Atomic operations |\n| `full64.yaml` | 64-bit comparison operations |\n| `unsigned.yaml` | Unsigned comparison operations |\n| `unop.yaml` | Unary operations (neg, swap) |\n| `observe.yaml` | Observation\u002Fassertion tests |\n| `uninit.yaml` | Uninitialized variable detection |\n| `map.yaml` | Map operations |\n| `parse.yaml` | YAML parsing tests |\n| `callx.yaml` | Indirect calls |\n\n## Running the Full Catch2 Test Binary\n\n```powershell\ncd external\\ebpf-verifier\n\n# Run all tests\n.\\bin\\tests.exe\n\n# Run with compact reporter\n.\\bin\\tests.exe --reporter compact\n\n# Abort on first failure\n.\\bin\\tests.exe --abort --reporter compact\n\n# Run specific test sections\n.\\bin\\tests.exe \"YAML suite: test-data\u002Floop.yaml\"\n```\n\nThe `tests.exe` binary includes YAML tests, ELF verification tests, conformance tests, and unit tests.\n\n## YAML Test Format\n\n```yaml\n---\ntest-case: descriptive test name\noptions: [\"termination\"]    # optional; enables loop termination checking\n\npre: [\"r1.type=number\", \"r1.svalue=[0, 100]\", \"r1.uvalue=r1.svalue\"]\n\ncode:\n  \u003Cstart>: |\n    r0 = 0\n  \u003Cloop>: |\n    r0 += 1\n    if r1 > r0 goto \u003Cloop>\n  \u003Cout>: |\n    exit\n\npost:\n  - r0.type=number\n  - r0.svalue=[1, 100]\n\nmessages: []    # expected verifier messages; omit for no messages\n```\n\n### Key conventions\n- `r` prefix for 64-bit registers, `w` prefix for 32-bit\n- `w2 = r2` generates a 32-bit self-MOV (SHL 32 + RSH 32 truncation pattern)\n- `r2 &= 255` generates 64-bit AND with immediate\n- `svalue` = signed value, `uvalue` = unsigned value\n- `r2.svalue=r1.svalue` means relational constraint (r2 tracks r1)\n- `r1.svalue=[0, 100]` means interval [0, 100]\n- `pc[N]` refers to the loop counter at instruction N\n- `post:` must list ALL expected properties — unlisted ones cause \"Unexpected properties\" failure\n- `messages:` field is optional (defaults to empty)\n\n## Building via MSBuild (within the main solution)\n\nWhen you need to build the verifier as part of the main solution (e.g., to build bpf2c which depends on it):\n\n```powershell\n# From solution root\nmsbuild ebpf-for-windows.sln \u002Fm \u002Fp:Configuration=Debug \u002Fp:Platform=x64 \u002Ft:\"tools\\bpf2c\" \u002Fv:q \u002Fnologo\n```\n\nThe MSBuild target for the verifier library is `libs\\user\\prevail` (for Debug\u002FRelease configs).\nThe `ubpf_fuzzer\\ebpfverifier` target is a separate copy used only in `FuzzerDebug` configuration.\n\n## Submodule Notes\n\n- The verifier lives at `external\u002Febpf-verifier\u002F` as a git submodule\n- `git stash` in the parent repo does NOT affect the submodule working tree — stash separately in the submodule if needed\n- To reset to the committed pointer: `git submodule update --init --recursive` (from the parent repo root)\n- After resetting submodules, re-run `.\\scripts\\initialize_ebpf_repo.ps1` to regenerate cmake projects\n","# Build and Test PREVAIL Verifier\n\nBuild and test the PREVAIL eBPF verifier (`external\u002Febpf-verifier`) independently from the main eBPF for Windows solution.\n\n## When to Use\n\n- Working on verifier changes in `external\u002Febpf-verifier\u002F`\n- Running or debugging YAML verification tests\n- Building `run_yaml.exe` or `tests.exe` for the verifier\n- Iterating on verifier fixes with faster feedback than full MSBuild\n\n## Prerequisites\n\nThe verifier's cmake build directory must exist. If `external\u002Febpf-verifier\u002Fbuild\u002F` is missing, run from the solution root:\n\n```powershell\n.\\scripts\\initialize_ebpf_repo.ps1\n```\n\nThis generates cmake projects for the verifier (and other submodules). You only need to do this once, or after resetting submodules.\n\n## Building Standalone\n\n```powershell\ncd external\\ebpf-verifier\n\n# Build the YAML test runner (most common during development)\ncmake --build build --config Release --target run_yaml\n\n# Build the full Catch2 test binary\ncmake --build build --config Release --target tests\n\n# Clean build (rebuild everything from scratch)\ncmake --build build --config Release --clean-first\n```\n\n### Enabling Standalone Tests\n\nWhen built as a submodule, `prevail_ENABLE_TESTS` defaults to OFF. To enable standalone tests:\n\n```powershell\ncmake -B build -Dprevail_ENABLE_TESTS=ON\ncmake --build build --config Release\n```\n\n**Note:** The `initialize_ebpf_repo.ps1` script does NOT enable tests. You need to reconfigure with `-Dprevail_ENABLE_TESTS=ON` if you want to build `tests.exe` standalone.\n\n## Running YAML Tests\n\nYAML test files are in `external\u002Febpf-verifier\u002Ftest-data\u002F*.yaml`. Each file is a test suite with individual tests separated by `---`.\n\n```powershell\ncd external\\ebpf-verifier\n\n# Run all tests in a suite\n.\\bin\\run_yaml.exe test-data\\loop.yaml\n\n# Run tests matching a substring\n.\\bin\\run_yaml.exe test-data\\loop.yaml \"while loop with\"\n\n# Run a specific test by exact name\n.\\bin\\run_yaml.exe test-data\\bitop.yaml \"AND with 0xFF preserves relations when value fits\"\n```\n\n### Exit codes\n- `0` — all tests passed\n- `1` — one or more tests failed\n\n### Discovering postconditions for new tests\n\nWhen writing new YAML tests, use placeholder postconditions and run the test to discover actual values:\n\n```yaml\npost:\n  - placeholder\nmessages:\n  - placeholder\n```\n\nThe failure output shows \"Unexpected properties\" (actual values) and \"Unseen properties\" (your placeholders). Copy the actual values into your test.\n\n### Available test suites\n\n| Suite | Description |\n|-------|-------------|\n| `loop.yaml` | Bounded loop verification (termination checking) |\n| `bitop.yaml` | Bitwise operations (AND, OR, XOR) |\n| `movsx.yaml` | Sign extension (MOVSX) operations |\n| `sext.yaml` | Sign\u002Fzero extension relational tests |\n| `jump.yaml` | Conditional jumps and branching |\n| `packet.yaml` | Packet access safety |\n| `pointer.yaml` | Pointer arithmetic and safety |\n| `stack.yaml` | Stack access verification |\n| `call.yaml` | Helper function calls |\n| `calllocal.yaml` | Local (subprogram) calls |\n| `assign.yaml` | Register assignment |\n| `add.yaml` \u002F `subtract.yaml` | Arithmetic operations |\n| `muldiv.yaml` \u002F `sdivmod.yaml` \u002F `udivmod.yaml` | Multiplication, division, modulo |\n| `shift.yaml` | Shift operations |\n| `atomic.yaml` | Atomic operations |\n| `full64.yaml` | 64-bit comparison operations |\n| `unsigned.yaml` | Unsigned comparison operations |\n| `unop.yaml` | Unary operations (neg, swap) |\n| `observe.yaml` | Observation\u002Fassertion tests |\n| `uninit.yaml` | Uninitialized variable detection |\n| `map.yaml` | Map operations |\n| `parse.yaml` | YAML parsing tests |\n| `callx.yaml` | Indirect calls |\n\n## Running the Full Catch2 Test Binary\n\n```powershell\ncd external\\ebpf-verifier\n\n# Run all tests\n.\\bin\\tests.exe\n\n# Run with compact reporter\n.\\bin\\tests.exe --reporter compact\n\n# Abort on first failure\n.\\bin\\tests.exe --abort --reporter compact\n\n# Run specific test sections\n.\\bin\\tests.exe \"YAML suite: test-data\u002Floop.yaml\"\n```\n\nThe `tests.exe` binary includes YAML tests, ELF verification tests, conformance tests, and unit tests.\n\n## YAML Test Format\n\n```yaml\n---\ntest-case: descriptive test name\noptions: [\"termination\"]    # optional; enables loop termination checking\n\npre: [\"r1.type=number\", \"r1.svalue=[0, 100]\", \"r1.uvalue=r1.svalue\"]\n\ncode:\n  \u003Cstart>: |\n    r0 = 0\n  \u003Cloop>: |\n    r0 += 1\n    if r1 > r0 goto \u003Cloop>\n  \u003Cout>: |\n    exit\n\npost:\n  - r0.type=number\n  - r0.svalue=[1, 100]\n\nmessages: []    # expected verifier messages; omit for no messages\n```\n\n### Key conventions\n- `r` prefix for 64-bit registers, `w` prefix for 32-bit\n- `w2 = r2` generates a 32-bit self-MOV (SHL 32 + RSH 32 truncation pattern)\n- `r2 &= 255` generates 64-bit AND with immediate\n- `svalue` = signed value, `uvalue` = unsigned value\n- `r2.svalue=r1.svalue` means relational constraint (r2 tracks r1)\n- `r1.svalue=[0, 100]` means interval [0, 100]\n- `pc[N]` refers to the loop counter at instruction N\n- `post:` must list ALL expected properties — unlisted ones cause \"Unexpected properties\" failure\n- `messages:` field is optional (defaults to empty)\n\n## Building via MSBuild (within the main solution)\n\nWhen you need to build the verifier as part of the main solution (e.g., to build bpf2c which depends on it):\n\n```powershell\n# From solution root\nmsbuild ebpf-for-windows.sln \u002Fm \u002Fp:Configuration=Debug \u002Fp:Platform=x64 \u002Ft:\"tools\\bpf2c\" \u002Fv:q \u002Fnologo\n```\n\nThe MSBuild target for the verifier library is `libs\\user\\prevail` (for Debug\u002FRelease configs).\nThe `ubpf_fuzzer\\ebpfverifier` target is a separate copy used only in `FuzzerDebug` configuration.\n\n## Submodule Notes\n\n- The verifier lives at `external\u002Febpf-verifier\u002F` as a git submodule\n- `git stash` in the parent repo does NOT affect the submodule working tree — stash separately in the submodule if needed\n- To reset to the committed pointer: `git submodule update --init --recursive` (from the parent repo root)\n- After resetting submodules, re-run `.\\scripts\\initialize_ebpf_repo.ps1` to regenerate cmake projects\n",{"name":5,"description":7},"main","6b926d6a1817d53447fe7ebad4553d229a65db15",".github\u002Fskills\u002Fbuild-prevail",311,"https:\u002F\u002Fgithub.com\u002Fmicrosoft\u002Febpf-for-windows","https:\u002F\u002Fgithub.com\u002Fmicrosoft","https:\u002F\u002Fopensource.microsoft.com","Open source projects and samples from Microsoft","2026-11-11 22:44:27",{"source":8,"skillName":5,"commands":39,"prompt":49,"zipAvailable":50},[40,43,46],{"tool":41,"command":42},"npx","npx skills add microsoft\u002Febpf-for-windows --skill build-prevail",{"tool":44,"command":45},"bunx","bunx skills add microsoft\u002Febpf-for-windows --skill build-prevail",{"tool":47,"command":48},"pnpm","pnpm dlx skills add microsoft\u002Febpf-for-windows --skill build-prevail","安装技能，技能地址：https:\u002F\u002Fgithub.com\u002Fmicrosoft\u002Febpf-for-windows\u002Fblob\u002Fmain\u002F.github\u002Fskills\u002Fbuild-prevail\u002FSKILL.md",true,[],[53,64,72,91,109,119],{"skillNo":54,"name":55,"nameZh":6,"description":56,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":57,"categories":58,"keywords":59,"publishedAt":24},"01M69BN8YQKAE51YKPGM1P5D8Y","verify-prevail","Diagnose eBPF program verification failures from the PREVAIL verifier. Use this skill for linux-compatible eBPF programs verified in the standalone PREVAIL repo (external\u002Febpf-verifier). For programs using Windows-specific features (bpf2c pipeline, Windows helpers, ebpf-for-windows headers), use the 'verify-bpf' skill instead.","https:\u002F\u002Fgithub.com\u002Fmicrosoft\u002Febpf-for-windows\u002Fblob\u002Fmain\u002F.github\u002Fskills\u002Fverify-prevail\u002FSKILL.md",[],[60,61,62,63],"verify prevail","linux","windows","diagnose",{"skillNo":65,"name":66,"nameZh":6,"description":67,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":68,"categories":69,"keywords":70,"publishedAt":24},"01M69BN7D4BD65ADJY98YDHE0V","verify-bpf","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.","https:\u002F\u002Fgithub.com\u002Fmicrosoft\u002Febpf-for-windows\u002Fblob\u002Fmain\u002F.github\u002Fskills\u002Fverify-bpf\u002FSKILL.md",[],[71,62,63],"verify bpf",{"skillNo":73,"name":74,"nameZh":6,"description":75,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":76,"categories":77,"keywords":83,"publishedAt":24},"01M69BN58F1ZWDSCW6S82KV161","pr-triage-report","Generate a Markdown triage report for open, non-draft pull requests in microsoft\u002Febpf-for-windows, including CI, freshness, sign-offs, and next-owner routing.","https:\u002F\u002Fgithub.com\u002Fmicrosoft\u002Febpf-for-windows\u002Fblob\u002Fmain\u002F.github\u002Fskills\u002Fpr-triage-report\u002FSKILL.md",[78],{"categoryNo":79,"categoryName":80,"taxonomyType":81,"taxonomyTypeDesc":82},"01JBSEEDCAT000000000000034","行政与办公人员","PROFESSION","适用职业",[84,85,86,87,88,89,90,62,9],"pr","report","pr triage report","triage","routing","pull requests","generate",{"skillNo":92,"name":93,"nameZh":6,"description":94,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":95,"categories":96,"keywords":105,"publishedAt":24},"01M69BN3FC5S02AX8H7TP0HRJB","debug-crash-dump","Download and analyze crash dumps from CI failures using CDB\u002FWinDbg. Use this skill when asked to debug crashes, analyze dump files, set up WinDbg\u002FCDB, investigate fault injection failures, or start mcp-windbg.","https:\u002F\u002Fgithub.com\u002Fmicrosoft\u002Febpf-for-windows\u002Fblob\u002Fmain\u002F.github\u002Fskills\u002Fdebug-crash-dump\u002FSKILL.md",[97,102],{"categoryNo":98,"categoryName":99,"taxonomyType":100,"taxonomyTypeDesc":101},"01JBSEEDCAT000000000000023","Skill与智能体开发","SCENARIO","使用场景",{"categoryNo":103,"categoryName":104,"taxonomyType":81,"taxonomyTypeDesc":82},"01JBSEEDCAT000000000000030","开发工程师",[106,107,108],"debug","debug crash dump","MCP",{"skillNo":110,"name":111,"nameZh":6,"description":112,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":113,"categories":114,"keywords":115,"publishedAt":24},"01M69BN01QNNCXEDRYYWD6YF65","build-ebpf","Build the eBPF for Windows repository — entire solution or specific components. Use this skill when asked to build, compile, rebuild, restore, or clean the project or any of its components (drivers, libraries, tools, tests, etc.).","https:\u002F\u002Fgithub.com\u002Fmicrosoft\u002Febpf-for-windows\u002Fblob\u002Fmain\u002F.github\u002Fskills\u002Fbuild-ebpf\u002FSKILL.md",[],[116,117,62,118],"build ebpf","libraries","components",{"skillNo":120,"name":121,"nameZh":6,"description":122,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":123,"categories":124,"keywords":125,"publishedAt":24},"01M69BMY86HY0592TPA6B5VCAZ","adversarial-branch-review","Perform a deep adversarial review of C\u002FC++ changes between an active branch and a baseline branch in ebpf-for-windows. Produce both a detailed review report and a point-by-point fix list.","https:\u002F\u002Fgithub.com\u002Fmicrosoft\u002Febpf-for-windows\u002Fblob\u002Fmain\u002F.github\u002Fskills\u002Fadversarial-branch-review\u002FSKILL.md",[],[126,127,85,128,62],"adversarial branch review","review","adversarial review"]