Foundry invariant starter · for smart contracts
Starter scaffold for invariant testing in Foundry · handlers, ghost variables, 8 patterns with ready code. MIT.
Foundry invariant-test scaffold · base Handler, ghost state, pre/post-delta asserts, cross-function coupling test, conservation, monotonicity, bounded-state. Ready with 200k fuzz runs.
WHAT'S INSIDE
- ·Base Handler contract template
- ·8 invariant patterns with ready Foundry code
- ·Ghost-variable pattern for property tracking
- ·forge-config + optimal fuzz-run parameters
- ·CI integration · GitHub Actions workflow
Want a custom version?
A tailored audit or template delivered in 2 weeks · DField Solutions, Budapest.