Almanax is an automated security auditor that leverages AI to find and fix vulnerabilities in smart contracts.
