Million
Tools for agent verification
Y CombinatorWinter 2024ActiveB2BEngineering, Product and DesignArtificial Intelligence
What they do
Problem
Software generated by coding agents is shipped faster than it can be reliably verified, creating shallow validation and growing risk.
Solution
It builds tools that automatically verify and prove agent-generated code as it is produced, enabling long-horizon coding agents.
Who it's for
Developers and engineering teams building and deploying code with AI coding agents.
Founders
Aiden Bai
Founder
i'm a huge web performance + react internals nerd
Nisarg Patel
Founder
working on https://ami.dev
Company timeline
- Founded2023
- YC batchWinter 2024
- StatusActive
- Team size5 people
- LocationSan Francisco, CA, USA
