audit-quick
Quick single-pass smart contract audit (supports --ensemble for multi-run)