Smart contracts securing billions of dollars in on-chain assets are only as safe as the tools auditing them. As AI agents take on more security-critical work, we need standardized benchmarks to ...