Soteria- A blazing fast toolkit for Ethereum smart contract vulnerability detection

Soteria is a blazing-fast, automatic toolkit for detecting vulnerabilities in Ethereum smart contracts, written in Rust.

We are currently focusing on an LLM guided fuzzer for EVM. To better simulate implications of signing a transaction.

Need help? Message me at Telegram or read the docs.