template · Solidity + Markdown · 13 KB
Foundry invariant starter · for smart contracts
Starter scaffold for invariant testing in Foundry · handlers, ghost variables, 8 patterns with ready code. MIT.
formatSolidity + Markdownsize13 KBserviceBlockchain & smart contracts
description
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.
Blockchain & smart contracts →what's inside05 / items
- 01Base Handler contract template
- 028 invariant patterns with ready Foundry code
- 03Ghost-variable pattern for property tracking
- 04forge-config + optimal fuzz-run parameters
- 05CI integration · GitHub Actions workflow
Want a custom version?
A tailored audit or template delivered in 2 weeks · DField Solutions, Budapest.
Get a quote→