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".
skills/fizz/SKILL.md
Source commit a53141f10a1bbf9c634e44af6bc5a29dd1660697
What was checked
- Matches the observed repository HEAD
- Yes
- Scanner rules are current
- Yes
- Repository scan complete
- No
- Skill scan complete
- No
- Observed behavior
- Network or broad shell
- Last checked
- Nov 7, 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)
- 132
- Repository last updated
- Oct 23, 2026
- License
- MIT
Observed agent integration: No specific integration evidence. Standard SKILL.md installation does not imply verified compatibility.
- 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
SKILL.mdcore · 46,300 bytesSKILL.mdcore · 46,300 bytesSKILL.mdcore · 46,300 bytesSKILL.mdcore · 46,300 bytesSKILL.mdcore · 46,300 bytesSKILL.mdcore · 46,300 bytesSKILL.mdcore · 46,300 bytesSKILL.mdcore · 46,300 bytesSKILL.mdcore · 46,300 bytesSKILL.mdcore · 46,300 bytesSKILL.mdcore · 46,300 bytesSKILL.mdcore · 46,300 bytesSKILL.mdcore · 46,300 bytesSKILL.mdcore · 46,300 bytesSKILL.mdcore · 46,300 bytesSKILL.mdcore · 46,300 bytesSKILL.mdcore · 46,300 bytesSKILL.mdcore · 46,300 bytesSKILL.mdcore · 46,300 bytesSKILL.mdcore · 46,300 bytesSKILL.mdcore · 46,300 bytesSKILL.mdcore · 46,300 bytesSKILL.mdcore · 46,300 bytesSKILL.mdcore · 46,300 bytesSKILL.mdcore · 46,300 bytesSKILL.mdcore · 46,300 bytesSKILL.mdcore · 46,300 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 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.
Vendored from the Pashov Audit Group's open-source approach (`github.com/pashov/skills`), skill `fizz`, **VERSION 1** (see the `VERSION` file alongside this one). The `scripts/`, `templates/`, `references/`, and `agents/` directories are upstream code carried over intact; the only local adaptations are the x-ray acquisition path in Step 3 (EVM Cortex ships the methodology as the `xray-pre-audit` skill) and the companion-skill locations noted below. Check for a newer upstream revision before relying on this:
```bash
curl -sf https://raw.githubusercontent.com/pashov/skills/main/fizz/VERSION
```
### Relationship to other EVM Cortex skills