软件验证层初创融资 800 万美元，首月 npm 下载 150 万
lukas_m_ziegler · x · 2026-11-04
Szymon Rybczak 宣布其团队为 agentic 编码时代打造「软件验证层」的产品完成 800 万美元融资，投资方包括 Credo Ventures、Kaya VC、Point Nine Capital、Baobab Ventures 和 Script Capital，天使投资人里有 Uber 联合创始人 Oscar Salazar 和 Snowflake 联合创始人 Marcin Zukowski。
产品上线首月数据：npm 下载 150 万次、GitHub 12k star、60 位贡献者——定位是给 AI agent 生成的代码做验证的基础设施。
「编程与Agent」频道最新
- OpenClaw 用自适应测试将月度 CI 账单砍掉 95%,原近 100 万美元 — vincent_koc · 2026-11-04
- Perplexity Computer 发布：可全自动化运营电商生意 — perplexity_ai · 2026-11-04
- Filarise 推金融 MCP Server：ChatGPT 直连银行账单查支出明细 — ChampionSpecialist60 · 2026-11-04
- 多智能体互相通信也救不了协作：61%达成一致仍合并冲突 — EliasEskin · 2026-11-04
- 开源 worldinmotion MCP：跨机器 Agent 会话互发消息，并解释为何不做审批工具 — distronode · 2026-11-04
- 开发者用 ComfyUI App Mode 搭一表通三模型流水线，灯塔案例全程仅 $0.52 — no3us · 2026-11-04