Echidna

Live AI enabled Public source

Property-based fuzzer for EVM contracts, driving inputs to violate user-defined invariants.

Community & social