fuzzer
Fuzzer Skill
When to Use
Invoke when asked to fuzz a target, find memory/integer bugs via fuzzing, write a fuzz harness, or run a fuzzing campaign on a codebase.
Workflow
Step 1 — Audit (MANDATORY — always run first, no exceptions)
You MUST invoke the audit-context-building skill before writing any harness.
Do not skip this step even if you think you already understand the code.
Goal: read the entire codebase — all source files — before ranking anything. Do not stop after finding the first suspicious location in one directory. Cover all modules.
More from workersio/spec
kani-proof
>-
135save
Save this session as a reusable agent
132solana-audit
>-
129axiom-verify
Verify and transform Lean 4 proofs using the Axiom (Axle) API. Use when the user works with Lean 4 code, formal mathematics, Mathlib theorems, or mentions axiom, axle, lean verify, proof verification, formal proof, or theorem checking -- even if they don't explicitly say "axiom" but are clearly working with Lean proofs that need machine verification.
122workers-app-tester
>-
109skill-benchmark
>
108