AI-driven security research of DeFi protocols.