fuzz

name	fuzz
description	Flush out hidden bugs dynamically by generating property-based tests, fuzz targets, or differential oracles, RUNNING them against the project's own test runner, then shrinking failures into regression tests or ready-to-commit harnesses. Use when the user invokes /fuzz, wants to harden a function, or when bughunt needs to confirm a Probable finding at runtime.
disable-model-invocation	true
version	2026-06-06.2
platforms	["language-agnostic"]
primary_use_cases	["Harden a parser, encoder, state machine, or pure function against unexpected inputs","Turn a Probable static finding into a Confirmed one with an executable repro","Generate property-based tests around an invariant","Build a differential oracle between two implementations or old/new versions"]

Fuzz & Property Harness

Static hunting finds suspicious code. This skill proves it — or finds what static review missed — by executing the code against generated inputs and checking that invariants hold. It's the dynamic counterpart to the lenses.