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.