echidna
Skill is based on Echidna (crytic/echidna), generated from source at the listed date.
Echidna is a property-based fuzzer for Ethereum smart contracts. It generates random sequences of contract calls to falsify invariants (Solidity functions named with a prefix like echidna_ that return bool) or to trigger Solidity assert failures. It supports coverage-guided fuzzing, corpus collection, multiple test modes, and integration with Foundry, Hardhat, and Truffle.
Core References
| Topic | Description | Reference |
|---|---|---|
| Invariants | Defining and running property invariants (echidna_ prefix, no args, return bool) | core-invariants |
| Configuration | YAML config (testMode, gas, coverage, corpus, workers, filtering) | core-configuration |
| CLI | Invocation, contract selection, output drivers (text, json, none) | core-cli |
Features
| Topic | Description | Reference |
|---|---|---|
| Coverage and corpus | corpusDir, covered.txt, line markers, coverage reports | features-coverage |
| Build systems | Foundry, Hardhat, Truffle, echidna ., allContracts, solcLibs | features-build-systems |
| Test modes | property, assertion, overflow, exploration, optimization | features-test-modes |
More from hairyf/blockchain-master
openzeppelin-contracts
Secure smart contract library—access control, tokens (ERC20/721/1155/4626/6909), upgradeable contracts, and utilities.
15viem
TypeScript interface for Ethereum — clients, contracts, accounts, chains, ENS, and utilities.
13wagmi
Wagmi — React/Vue/Solid hooks and Core for Ethereum; config, connectors, read/write contracts, TanStack Query.
11ton
TON Blockchain — addresses, messages, TVM, cells, Blueprint, contracts, payments, API.
11envio
Envio blockchain data stack — HyperSync, HyperIndex, HyperRPC; fast indexing and data APIs.
8uniswap-v4
Uniswap v4 core pool logic — singleton PoolManager, unlock/callback, pool actions, hooks, and types.
7