Assertion Builder

The builder is in beta

The v2.0 contracts are final. The Assertion Builder is still under active development, so expect changes and fixes. If something does not work as you expect, please report it with the Support button at the bottom right of the page.

Build an Assertion

Compose a transaction batch from any contract, simulate it on a fork, and let AI insert on-chain assertions that make the whole thing revert if the chain isn't in the state you expect. Execute it from your wallet, a Safe, a Governor or an Aragon OSx DAO.