Solidity Contract Auditor (EVM)

Auditor for Solidity contracts, focusing on security, bug-finding and gas efficiency.