Docker-образ от Trail of Bits со всеми инструментами безопасности Ethereum в одном контейнере: Slither, Echidna, Manticore, Etheno, solc-select. Готовая среда для аудита смарт-контрактов без настройки зависимостей.
# Запуск с монтированием текущего проекта
docker run -it -v $PWD:/home/user/project trailofbits/eth-security-toolbox
# Внутри контейнера:
cd /home/user/project
slither .
echidna-test contracts/MyContract.sol --contract TestMyContract
# Переключить версию компилятора
solc-select install 0.8.20
solc-select use 0.8.20