Write robust fuzz tests for Solidity smart contracts using Foundry.
npx skills add https://github.com/ccashwell/evm-cortex --skill fuzzing-patterns
Please help me install this Agent Skill. Skill: fuzzing-patterns Source: https://github.com/ccashwell/evm-cortex/tree/main/skills/fuzzing-patterns Command: npx skills add https://github.com/ccashwell/evm-cortex --skill fuzzing-patterns
Solidity developers learn to write robust fuzz tests for smart contracts.
The skill applies to property-based testing, input constraining with vm.assume/vm.bound, and interpreting counterexamples across common patterns.
Run a basic fuzz test on a Solidity project using Foundry, configuring runs and bounds as described.
High-intent search queries and answers about installing and using this skill.
Property-based fuzzing tests Solidity smart contracts by defining system invariants and validating them against randomized inputs. You configure test runs to generate arbitrary inputs and verify the contract maintains expected properties across all generated scenarios.
Both vm.assume and vm.bound constrain fuzz inputs in Solidity tests. Use vm.assume to filter out invalid inputs by reverting the test run, and use vm.bound to remap random values into a specific valid numeric range without discarding the run.
Interpreting fuzzing counterexamples involves analyzing the specific input sequence that broke your Solidity invariant. You examine the counterexample call data to identify edge cases, debug the failed assertion, and adjust contract logic or test constraints accordingly.
Reproducible fuzz workflows require configuring test runs and input bounds in your Foundry setup. By setting deterministic parameters for random input generation and constraining values with vm.bound, you ensure consistent property-based testing results across executions.
Property-based testing is necessary when unit tests cannot cover the vast input space of smart contracts. Use fuzzing to automatically discover edge cases and validate mathematical invariants that hand-written unit tests are likely to miss.
tenequmBuild and test Solidity smart contracts using Foundry tooling.
collat-labsWrite Foundry tests for Solidity smart contracts using fuzz and invariant testing.
mashharukiValidate smart contracts with Foundry fuzz, fork, and invariant testing.
v1bh0rAutomate Haskell property-based testing with QuickCheck and Hedgehog.
