Individual skill
fizz
Generate Echidna/Medusa-compatible Solidity fuzz suites from Foundry or Hardhat projects. Trigger on "fizz", "generate fuzz suite", "build fuzz harness", "stateful fuzzing", "fuzzing harness", "property testing", and "invariant suite".
fizz/SKILL.md
Source commit eacfc09b365d2697b83355909d0300607e596ffc
What was checked
- Matches the observed repository HEAD
- Yes
- Scanner rules are current
- No
- Repository scan complete
- No
- Skill scan complete
- No
- Observed behavior
- Not checked yet
- Last checked
- Nov 3, 2026
These are observations at the recorded commit, not a guarantee of safety. Review the source before running it.
Install this skill
Choose an agent in your Stack or copy a command below. Commands fetch the pinned commit and copy only this skill directory. Existing destinations are refused. Copying a command does not install anything.
An install command is unavailable: current rules, complete repository and skill scans, an eligible behavior level and a permitted license are required.
Repository context
- Repository stars (not skill ratings)
- 1,303
- Repository last updated
- Oct 21, 2026
- License
- MIT
Observed agent integration: No specific integration evidence. Standard SKILL.md installation does not imply verified compatibility.
- agent-skills Repository topic
- ai-agents Repository topic
- ai-security Repository topic
- claude-code Repository topic
- defi-security Repository topic
- fuzz-testing Repository topic
- fuzzing Repository topic
- security-research Repository topic
- smart-contract-audit Repository topic
- smart-contract-security Repository topic
- testing Derived category
Files and excerpt
File metadata and permitted, redacted excerpts come from the recorded scan. Source links are pinned to that commit.
Browse files
README.mddoc · 1,504 bytesSKILL.mdcore · 45,129 bytesSKILL.mdcore · 45,129 bytesSKILL.mdcore · 45,129 bytesSKILL.mdcore · 45,129 bytesSKILL.mdcore · 45,129 bytesSKILL.mdcore · 45,129 bytesSKILL.mdcore · 45,129 bytesSKILL.mdcore · 45,129 bytesSKILL.mdcore · 45,129 bytesSKILL.mdcore · 45,129 bytesSKILL.mdcore · 45,129 bytesSKILL.mdcore · 45,129 bytesSKILL.mdcore · 45,129 bytesSKILL.mdcore · 45,129 bytesSKILL.mdcore · 45,129 bytesSKILL.mdcore · 45,129 bytesSKILL.mdcore · 45,129 bytesSKILL.mdcore · 45,129 bytesSKILL.mdcore · 45,129 bytesSKILL.mdcore · 45,129 bytesSKILL.mdcore · 45,129 bytesSKILL.mdcore · 45,129 bytesSKILL.mdcore · 45,129 bytesSKILL.mdcore · 45,129 bytesSKILL.mdcore · 45,129 bytesSKILL.mdcore · 45,129 bytesVERSIONasset · 2 bytesagents/implementers/global-property-implementer.mddoc · 4,096 bytesagents/implementers/specific-property-implementer.mddoc · 5,447 bytesagents/invariant-discovery/adversarial-profit-maximizer.mddoc · 6,618 bytesagents/invariant-discovery/conservation-auditor.mddoc · 5,052 bytesagents/invariant-discovery/protocol-type-specialist.mddoc · 8,492 bytesagents/invariant-discovery/roundtrip-rounding-analyst.mddoc · 7,634 bytesagents/invariant-discovery/state-transition-mapper.mddoc · 4,658 bytesagents/invariant-discovery/synthesizer.mddoc · 15,737 bytesagents/protocol-analyzer.mddoc · 5,600 bytesagents/report-writer.mddoc · 8,781 bytesevals/evals.jsonasset · 731 bytesreferences/handler-patterns.mddoc · 10,239 bytesreferences/property-generation.mddoc · 5,555 bytesreferences/selection-policy.mddoc · 2,292 bytesreferences/setup-playbook.mddoc · 3,789 bytesreferences/template-map.mddoc · 7,224 bytesscripts/ensure_foundry.shruns · 4,402 bytesscripts/estimate_cost.jsruns · 6,233 bytesscripts/extract_abis.jsruns · 11,484 bytesscripts/fizz_sync.jsruns · 29,129 bytesscripts/generate_handlers.jsruns · 14,665 bytesscripts/generate_suite.jsruns · 9,752 bytesscripts/lib/log-viewer.jsruns · 11,626 bytesscripts/run_echidna.jsruns · 6,454 bytesscripts/run_medusa.jsruns · 12,514 bytesscripts/select_functions.jsruns · 23,163 bytesscripts/setup_fuzz_profile.shruns · 5,007 bytestemplates/Actor.solasset · 2,027 bytestemplates/Base.solasset · 4,689 bytestemplates/FoundryTester.solasset · 949 bytestemplates/FuzzTester.solasset · 245 bytestemplates/Properties.solasset · 886 bytestemplates/README.mddoc · 2,116 bytestemplates/Snapshots.solasset · 618 bytestemplates/echidna.yamlasset · 599 bytestemplates/handlers/Handlers.solasset · 413 bytestemplates/medusa.jsonasset · 2,189 bytestemplates/utils/Clamp.solasset · 7,547 bytestemplates/utils/DecimalPrinter.solasset · 1,892 bytestemplates/utils/Deployer.solasset · 530 bytestemplates/utils/EnumerableSet.solasset · 6,040 bytestemplates/utils/Hevm.solasset · 2,258 bytestemplates/utils/Logger.solasset · 14,359 bytestemplates/utils/Math.solasset · 1,693 bytestemplates/utils/MockERC20.solasset · 10,385 bytestemplates/utils/PropertiesAsserts.solasset · 7,455 bytestemplates/utils/StringUtils.solasset · 3,484 bytes
Read excerpt
# Fizz
Generate a stateful Solidity fuzz suite under `{SUITE_DIR}` (default: `test/fizz/`), with metadata and fuzzer runtime files under `{META_DIR}` (default: `fizz_data/`).
Use `Echidna` and `Medusa` for invariant campaigns. Use `Foundry` for compilation, smoke testing, and quick debugging.
## Workflow Rules
- Follow the steps in order. Do not skip forward if a required artifact for the current step does not exist yet.
- If a step fails, stop there and report the blocker.
- If tooling is missing, say exactly what was attempted and what is missing.
- Keep the generated Solidity suite isolated under `test/fizz/` and the metadata/runtime files under `fizz_data/` unless the user explicitly asks for different paths.
- Reuse existing project setup and test logic whenever possible; do not invent a deployment flow if the repo already has one.