Hang Ten Systems

前GitHub CEO创立的AI编程公司，获6000万美元种子轮融资，创开发者工具领域纪录

前GitHub CEO Thomas Dohmke 创立，完成 $60M 种子轮融资（估值 $3亿），创开发者工具史上最大种子轮纪录，获 Felicis、微软 M12 领投

面向企业的自律型软件开发平台，主打用 AI Agent 加速应用构建与交付，定位为企业级开发工作流自动化。

Blitzy 在 Series A 就融资 2 亿美元、估值达到 14 亿美元，属于极少见的高起点项目；它把“企业自律型软件开发平台”做成明确产品方向，兼具大额融资信号和类别创新属性。

瑞典vibe coding平台，8个月从0到独角兽($1B+估值)，欧洲最快。全栈AI应用构建器，GitHub同步+一键部署。非开发者也能构建生产级React应用。

2025年7月A轮€174百万（$200M）巨额融资，早期的非编码软件构建平台，入选Sifted和N47欧洲顶级AI榜单。

Rork是一个使用自然语言构建并推出App Store移动应用的AI平台。

种子轮融资1500万美元，针对移动应用开发的自然语言AI平台，属于早期高额融资信号，显示出投资者对no-code移动开发工具的强烈信心。

AI代码验证系统，能够自动执行计算机代码的正确性验证和形式化证明

2026年完成$200M Series A融资，估值$1.6B。由Menlo Ventures领投，Toyota Ventures等产业资本参与。首创AI驱动的代码形式化验证，解决软件可靠性的关键问题，特别对汽车、航空等安全关键领域价值重大

提供可验证代码翻译工具的AI编码平台，完成1.25亿美元B轮融资。

Salesforce Ventures领投1.25亿美元B轮，仅3个月后B轮，快速验证AI代码生成市场潜力。