AI-enabled smart contract auditor, think “Grammarly” for blockchain developers to identify and remediate security vulnerabilities in smart contracts.