Program verification so even your systems engineers can vibecode
Lowers the cost of producing formal proofs; building a shared verified stack starting with nixpkgs projects; research includes lf-lean and fractional proofs.
| 融资日期 | 轮次 | 金额 | 投资方 | 来源 |
|---|---|---|---|---|
| — | YC 2025 春季 | — | Y Combinator | ycombinator.com |
档案汇总自公开报道和公司官网。商业模式部分是 MaxBC 对这些材料的解读，不是已确认的事实；未知之处留空，不作猜测。 更新于 2026-10-12.
RapidCanvas 将智能体AI平台与人类业务专家结合（混合方法），帮助企业设计、部署并治理AI智能体与方案。
由vLLM创建者打造的生产级推理平台,可在客户自有算力或Inferact GPU上运行,具备自动扩缩容、定制内核、token计量和可观测性。
面向AWS、GCP和Azure云、AI及数据支出的FinOps平台,提供AI助手Noros回答成本问题,并支持成本分摊、异常告警、规格优化、承诺额度管理和AI/LLM token成本追踪。
提供Recursion(企业自主智能体),以及面向前沿AI后训练的Horizon(强化学习环境与评测)、Terra(机器人数据)和Alignerr(专家网络)。
在Slack和Microsoft Teams中工作的AI员工,连接9800多种工具,处理报告、仪表盘、代码和营销活动。
Give engineering, product, and design teams insight into unseen issues
