Code verification startup raises $8M, hits 1.5M npm downloads in first month
lukas_m_ziegler · x · 2026-11-04
A startup building "the software verification layer for the agentic coding era" raised $8M from Credo Ventures, Kaya VC, Point Nine, Baobab and Script Capital, with angels including Uber co-founder Oscar Salazar and Snowflake co-founder Marcin Zukowski. First-month traction: 1.5M npm downloads, 12k GitHub stars, 60 contributors.
More from coding & agent
- Wanaka Studio 1.0 launches as an AI-native game engine claiming 5x speed and 82% lower agent cost — bdsqlsz · 2026-11-04
- Intology's Locus autonomously adapts Boltz-2 and frontier scientific models to proprietary data, claiming SOTA-beating molecular design — anshulkundaje · 2026-11-04
- Traversal raises $120M at $1B valuation to keep AI-generated code running in production — kimmonismus · 2026-11-04
- Dotey claims Astra codes worse than Opus 5.5,vczh fires back: tell it what code you want — dotey · 2026-11-04
- New 10-Week Course Ships One Real Product Using AI Coding Tools — Al_Grigor · 2026-11-04
- C++26 static reflection enables type-safe runtime reflection without manual registration — lauriewired · 2026-11-04