Contract safety

Invariant test generator

Generate Foundry invariant tests and handlers from a contract you paste in.

Runs in your browser

Contract ABI

The generator reads the ABI's function list and scaffolds one handler per state-changing function.

Options

Used for the test contract's name and the commented-out import.

Which runner the generated suite targets.

The JSON array from your build artifact's abi field.

No test suite yet

Paste an ABI and the generated invariants, handlers and view helpers appear here, ready to copy into your test folder.

Framework notes

These follow the framework you picked above.

Best for: Developers already using Foundry ecosystem

Properties: Use invariant_ prefix functions

Run: forge test --match-contract InvariantTest