New: 98,000+ skills indexed from GitHub repos with 100+ stars · every skill safety-checkedBrowse top skillsTop skills
Esc to closeBrowse all skills
Submit a skillBrowse skills
Submit a skillBrowse skills

Agent skill

Syz Extract Constants

by benchflow-ai in benchflow-ai/skillsbench

Defining and extracting kernel constants for syzkaller syzlang descriptions

Apache-2.0Auto-check passed

Install Syz Extract Constants

skills CLI
$ npx skills add benchflow-ai/skillsbench --skill syz-extract-constants -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install benchflow-ai/skillsbench syz-extract-constants --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/benchflow-ai/skillsbench.git skills-src && mkdir -p .claude/skills && cp -r skills-src/tasks/syzkaller-ppdev-syzlang/environment/skills/syz-extract-constants .claude/skills/syz-extract-constants && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Facts

Skill name
syz-extract-constants
GitHub stars
1.8k
Token cost
~784 tokens
SKILL.md length
253 words
Files
1
Skills in repo
189
Repo updated
First seen
Licence
Apache-2.0

At a glance

Defining and extracting kernel constants for syzkaller syzlang descriptions

  • Works in 2 steps: Manual .const file - Define constants… → syz-extract tool - Extract values from…
  • SKILL.md covers Overview, Method 1: Manual Constants…, Method 2: Using syz-extract… and After Defining Constants, plus 1 more section
  • Calls make

What it does

Syz Extract Constants is an agent skill from benchflow-ai/skillsbench. Defining and extracting kernel constants for syzkaller syzlang descriptions

Its SKILL.md is about 780 tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.

It works with Linux. The repository describes itself as: SkillsBench evaluates how well skills work and how effective agents are at using them. The licence is Apache-2.0.

Example prompts

  • “/syz-extract-constants”

Workflow steps

2 steps, taken from the first numbered list in SKILL.md.

  1. Manual .const file - Define constants directly in a companion file
  2. syz-extract tool - Extract values from kernel source headers (requires kernel source)

What it can do on your machine

Read from SKILL.md and the folder at commit 9a1f4dd. It shows what the files ask for, not the result of running them.

  • Tool permissions

    Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

    From allowed-tools in the SKILL.md frontmatter.

  • Runs code

    Shell commands in SKILL.md call:

    • make

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    No URLs in SKILL.md.

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names no API keys, tokens, secrets or passwords.

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Syz Extract Constants loads about 784 tokens when it runs. Until then it costs about 24 tokens; SKILL.md has 253 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~24
When it runs · the whole SKILL.md, loaded when a task matches
~784

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

The full file from benchflow-ai/skillsbench at commit 9a1f4dd, republished under its Apache-2.0 licence (© benchflow-ai). 253 words, ~784 tokens.

Download SKILL.mdSave it as .claude/skills/syz-extract-constants/SKILL.md (or your agent's skills folder).
name
syz-extract-constants
description
Defining and extracting kernel constants for syzkaller syzlang descriptions

Defining Constants in Syzlang

Overview

Syzkaller needs to know the actual values of kernel constants (ioctl numbers, flags, etc.) to generate valid fuzzing programs. There are two ways to provide these values:

  1. Manual .const file - Define constants directly in a companion file
  2. syz-extract tool - Extract values from kernel source headers (requires kernel source)

Create a .const file alongside your .txt file with the constant values:

File naming
  • Syzlang description: sys/linux/dev_ppdev.txt
  • Constants file: sys/linux/dev_ppdev.txt.const
Constants file format
# Constants for your syzlang descriptions
arches = 386, amd64, arm, arm64, mips64le, ppc64le, riscv64, s390x
PPCLAIM = 28811
PPRELEASE = 28812
IEEE1284_MODE_NIBBLE = 0
IEEE1284_MODE_BYTE = 1

The arches line declares which architectures these constants are valid for. For architecture-independent constants (like ioctls), list all architectures.

Calculating ioctl values

Linux ioctl numbers are encoded as:

  • _IO(type, nr) = (type << 8) | nr
  • _IOR(type, nr, size) = (2 << 30) | (size << 16) | (type << 8) | nr
  • _IOW(type, nr, size) = (1 << 30) | (size << 16) | (type << 8) | nr
  • _IOWR(type, nr, size) = (3 << 30) | (size << 16) | (type << 8) | nr

For ppdev (type='p'=0x70):

  • PPCLAIM = _IO('p', 0x8b) = 0x708b = 28811

Method 2: Using syz-extract (Requires kernel source)

If kernel source is available:

bash
cd /opt/syzkaller

# Extract constants for a specific file
make extract TARGETOS=linux SOURCEDIR=/path/to/linux FILES=sys/linux/dev_ppdev.txt

Note: This environment does not include kernel source. Use Method 1 (manual constants file) instead.

After Defining Constants

After creating the .const file, build syzkaller:

bash
cd /opt/syzkaller
make descriptions  # Compiles descriptions + constants
make all           # Full build

Common Errors

"is defined for none of the arches"

This means the constant is used in the .txt file but not defined in the .const file.

  • Add the missing constant to your .const file
  • Ensure arches line lists the target architectures PPCLAIM is defined for none of the arches

Solution: Run `make extract` with the correct kernel source path and FILES parameter.

### Missing headers

cannot find include file: uapi/linux/ppdev.h


Solution: Check the kernel source path and ensure headers are properly configured.

### "unknown file"

unknown file: sys/linux/dev_ppdev.txt


Solution: Use `make extract FILES=...` instead of calling `bin/syz-extract` directly.

## Example Workflow

1. Write the syzlang description file (`sys/linux/dev_ppdev.txt`)
2. Run `make extract TARGETOS=linux SOURCEDIR=/opt/linux/source FILES=sys/linux/dev_ppdev.txt`
3. Run `make generate` to regenerate Go code
4. Run `make` to build syzkaller
5. Test with `make descriptions` to verify everything compiles

© benchflow-ai, Apache-2.0. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

Just SKILL.md in tasks/syzkaller-ppdev-syzlang/environment/skills/syz-extract-constants of benchflow-ai/skillsbench.

Open the folder on GitHubat commit 9a1f4dd

Compare with similar skills

Syz Extract Constants next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Syz Extract Constants compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Syz Extract Constants this skillbenchflow-ai/skillsbench1.8k—~784Automated safety check: PassApache-2.0
Configuring Horizoncoollabsio/coolify63k4 repos~898Automated safety check: PassMIT
Model Usageopenclaw/openclaw392k1 repos~637Automated safety check: PassMIT
Engine Whats Newflutter/flutter180k—~978Automated safety check: PassBSD-3-Clause
Openclaw Live Updateropenclaw/openclaw392k—~3.7kAutomated safety check: PassMIT
Upgrade Browserflutter/flutter180k—~1.1kAutomated safety check: PassBSD-3-Clause

Similar skills

  • Configuring Horizon

    coollabsio/coolify

    A skill your agent uses whenever the user mentions Horizon by name in a Laravel context.

    63k GitHub starsUsed in 4 repos~898 tokens
    Backend & APIsAuto-check passed

  • Model Usage

    openclaw/openclaw

    Summarize CodexBar local cost logs by model for Codex or Claude, including current or full breakdowns.

    392k GitHub starsUsed in 1 repo~637 tokens
    Auto-check passed

  • Engine Whats New

    flutter/flutter

    Generates the "what's new" release summary and diff file for changes in the Flutter engine (//engine/src/flutter) between two releases (e.g., 3.47 vs 3.44).

    180k GitHub stars~978 tokensUpdated today
    MobileAuto-check passed

  • Openclaw Live Updater

    openclaw/openclaw

    Maintain the canonical live OpenClaw main checkout, macOS LaunchAgent-managed Gateway, local macOS app, exact-head main CI, and recurring full release validation.

    392k GitHub stars~3.7k tokensUpdated today
    DevOps & CloudAuto-check passed

  • Upgrade Browser

    flutter/flutter

    Upgrade browser versions (Chrome or Firefox) in the Flutter Web Engine and/or Framework tests.

    180k GitHub stars~1.1k tokensUpdated today
    MobileAuto-check passed

  • K8s Security Policies

    Cybereason-Public/owLSM

    Comprehensive guide for implementing NetworkPolicy, PodSecurityPolicy, RBAC, and Pod Security Standards in Kubernetes.

    280 GitHub starsUsed in 12 repos~2k tokens
    Backend & APIsAuto-check passed

More from benchflow-ai/skillsbench

All 189 skills in this repo

  • Lean4 Memories

    benchflow-ai/skillsbench

    This skill should be used when working on Lean 4 formalization projects to maintain persistent memory of successful proof patterns, failed approaches, project conventions, and user preferences…

    1.8k GitHub stars~3.2k tokensUpdated 2 mo ago
    Auto-check passed

  • Senior Data Engineer

    benchflow-ai/skillsbench

    World-class data engineering skill for building scalable data pipelines, ETL/ELT systems, real-time streaming, and data infrastructure.

    1.8k GitHub stars~5.9k tokensUpdated 2 mo ago
    Auto-check passed

  • Ac Branch Pi Model

    benchflow-ai/skillsbench

    AC branch pi-model power flow equations (P/Q and |S|) with transformer tap ratio and phase shift, matching acopf-math-model.md and MATPOWER branch fields.

    1.8k GitHub stars~1.1k tokensUpdated 2 mo ago
    Auto-check passed

  • Civ6lib

    benchflow-ai/skillsbench

    Civilization 6 district mechanics library. An agent skill from benchflow-ai/skillsbench.

    1.8k GitHub stars~1.7k tokensUpdated 2 mo ago
    Auto-check passed

  • D3 Visualization

    benchflow-ai/skillsbench

    Build deterministic, verifiable data visualizations with D3.js (v6).

    1.8k GitHub stars~1.5k tokensUpdated 2 mo ago
    Auto-check passed

  • Dc Power Flow

    benchflow-ai/skillsbench

    DC power flow analysis for power systems. An agent skill from benchflow-ai/skillsbench.

    1.8k GitHub stars~717 tokensUpdated 2 mo ago
    Auto-check passed

Works with

Questions about Syz Extract Constants

What does Syz Extract Constants do?

Defining and extracting kernel constants for syzkaller syzlang descriptions. Syz Extract Constants is an agent skill from benchflow-ai/skillsbench.

How do I install Syz Extract Constants in Claude Code?

Run `npx skills add benchflow-ai/skillsbench --skill syz-extract-constants -a claude-code`. Or copy the skill folder (tasks/syzkaller-ppdev-syzlang/environment/skills/syz-extract-constants in benchflow-ai/skillsbench) into .claude/skills/syz-extract-constants in your project. Claude Code loads it when a task matches its description.

How do I install Syz Extract Constants in Codex?

Run `npx skills add benchflow-ai/skillsbench --skill syz-extract-constants -a codex`. Or copy the skill folder (tasks/syzkaller-ppdev-syzlang/environment/skills/syz-extract-constants in benchflow-ai/skillsbench) into .agents/skills/syz-extract-constants in your project. Codex loads it when a task matches its description.

Can I use Syz Extract Constants in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add benchflow-ai/skillsbench --skill syz-extract-constants -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/syz-extract-constants, .gemini/skills/syz-extract-constants, .github/skills/syz-extract-constants and .opencode/skills/syz-extract-constants in your project.

What does Syz Extract Constants need to run?

Going by SKILL.md and its folder, Syz Extract Constants needs the command-line tools its instructions call (make).

Does Syz Extract Constants access the network?

SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.

Is Syz Extract Constants safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.

What licence does Syz Extract Constants use?

Syz Extract Constants is published under the Apache-2.0 licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does Syz Extract Constants use?

About 784 tokens (SKILL.md is roughly 3.1k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.

What are the alternatives to Syz Extract Constants?

Skills that share tags, products or a category with Syz Extract Constants: Configuring Horizon (coollabsio/coolify, 63k stars), Model Usage (openclaw/openclaw, 392k stars), Engine Whats New (flutter/flutter, 180k stars) and Openclaw Live Updater (openclaw/openclaw, 392k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Syz Extract Constants?

benchflow-ai (a GitHub organization) maintains it in benchflow-ai/skillsbench, which has 1,835 GitHub stars. The repository holds 189 skills in this directory. The repository was last updated on July 23, 2026.

Source: benchflow-ai/skillsbench on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.