“Caspia's Kodaks tool, an RTL static security analysis tool, uses two LLM-powered agents named Asset Assist and Report Assist.”