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