AGI Hunt· lukas_m_ziegler·· 3 小时前AI 评分60
Szymon Rybczak 团队的 AI 软件验证产品完成 800 万美元融资
软件验证层初创融资 800 万美元，首月 npm 下载 150 万
AI 导读
Szymon Rybczak 团队为 agentic 编码时代打造的软件验证层完成 800 万美元融资，投资方包括 Credo Ventures、Kaya VC、Point Nine Capital、Baobab Ventures 和 Script Capital。
来源：AGI Hunt · agihunt.info