a look at what’s possible

map invariants before reading code
list the rules a contract must always keep, then check each function against them before hunting for bugs.
illustrative preview
validate on a local test chain
run suspected exploits in a sandboxed local environment with throwaway keys, never against live funds.
illustrative previewSafe smart contract audit methodology for supplied or authorized contracts, with invariant-led code review and local, non-custodial validation.
what it'll do
already have an account? log in
free to add. it works free for 7 days, then needs pro.
built by a folk user. eligible creators earn when people use their skills. how creators earn