code-verification
(2)
Qodo
Qodo (formerly CodiumAI) is an Israeli-American startup building AI agents for code review, testing, and governance. Where most AI coding tools race to generate more code, Qodo focuses on verifying it - catching bugs, generating tests, reviewing pull requests, and enforcing an organization's own quality standards. Its platform spans IDE plugins, a CLI, and hosted PR-review integrations for GitHub, GitLab, Bitbucket, and Azure DevOps. Founded in 2022 by Itamar Friedman and Dedy Kredo, Qodo has raised $121M across seed, Series A, and a $70M Series B in 2026, and counts Nvidia, Walmart, Red Hat, Intuit, and Monday.com among its customers.
Animesh Koratana
Animesh Koratana is the founder and CEO of PlayerZero, an AI platform that acts as an immune system for large code bases, catching and fixing bugs before they ship. He started the company out of Stanford's DAWN lab, where he researched data-intensive machine learning systems under Matei Zaharia and Peter Bailis. In 2025 PlayerZero raised a $15M Series A led by Foundation Capital, backed by the CEOs of Dropbox, Figma, and Vercel. Koratana's bet is simple and contrarian: when AI writes most of the code, software quality becomes the hardest and most valuable problem in engineering.