Million Software
Verification for AI coding agents
Million Software is building verification tooling for AI coding agents, focused on proving that AI-generated code actually works correctly. The team has a background in high-performance open source projects, including work that outperformed React's virtual DOM. They are backed by Y Combinator (W24) and notable investors including Scott Wu, Amjad Masad, and Evan You.
Million builds verification systems that prove AI-generated code works, drawing on expertise in virtual DOM optimization and large-scale production tooling.
developers and teams using AI coding agents
Background.
- Status
- unknown
- Business model
- unknown
- Company
- Million Software, Inc.
- Launched
- 2024
Similar projects.
Editorial take on the space this project sits in — momentum signals, adjacent moves, our call on whether the wedge is real. Get pinged when we publish a new read or when the landscape shifts.
Have a take on this space?
Tell us what you’d build differently, where you think the incumbents miss, or what we’ve gotten wrong about this project. Comments + reactions are coming soon.