Launch
Axiomat – Agents that cannot hallucinate (opens ycombinator.com)
Formally verified data queries
Context: Hand it a C/C++/CUDA bug and get a tested pull request back, at what it claims is 68% lower cost.
From YC Launches: Give it a C/C++/CUDA bug, get back a tested pull request at 68% lower cost
Formally verified data queries
Run Claude Code and Codex on parallel cloud machines from laptop, phone or terminal; 50 votes on YC Launches.
Let your agent use your personal phone, or its own iPhone/Android in the cloud
Momentic (YC W24) builds QA agents that plan, explore and bug-bash user flows in web, iOS and Android apps to catch bugs.
Letterpress-1 re-imagines every aspect of developer tooling for engineering growth.
Stop playing whack-a-mole with your agents