
Theorem
事業内容:
Program verification so even your systems engineers can vibecode
基本情報:
このリストには746社のスタートアップが掲載されています(2026年10月15日更新)。 主な拠点:サンフランシスコ (443)、ニューヨーク (121)、ロンドン (22)。 チーム規模の大きい企業:Relativity Space、Podium、Flock Safety。 直近のラウンド:Revnuが€2.6Mを調達(2026年10月1日)。

事業内容:
Program verification so even your systems engineers can vibecode
基本情報:

事業内容:
Open Source AI Agent Improvement Platform
基本情報:
事業内容:
Robots, parts & RL envs & evals - delivered in 48 hrs / pickup in SF.
基本情報:

事業内容:
The AI data analyst for biology labs
基本情報:

事業内容:
建設業と製造業のための、AIを活用した経理自動化
基本情報:

事業内容:
ClaudeとChatGPTの中で動くアプリプラットフォーム。
基本情報:

事業内容:
AI agents for on-call
基本情報:

事業内容:
Robots to build civilization
基本情報:

事業内容:
AIネイティブ企業を支えるエージェント基盤。
基本情報:
本社: Vienna, オーストリア

事業内容:
ミドルマーケットのプライベートエクイティのためのAIアソシエイト
基本情報:

事業内容:
知的財産のためのエージェンティックAI
基本情報:

事業内容:
Building self-improving software
基本情報:

事業内容:
対面営業の担当者のためのAIコーチ。
基本情報:

事業内容:
AIエージェントのためのファームウェア・シミュレーション
基本情報:

事業内容:
アイデアをトレードに。Volarenはヘッジファンドを手の中に…
基本情報:

事業内容:
自動運転のカスタマーケア
基本情報:

事業内容:
ゲームのブースト、キャリー、コーチングのマーケットプレイス
基本情報:

事業内容:
フラクショナルなマーケティング+デザイン人材を採用
基本情報:

事業内容:
自動車部品業界向け、AIによる商品説明の強化
基本情報:

事業内容:
Turn AI adoption into a recurring revenue line.
基本情報:

事業内容:
Intelligent Personal Cloud Storage
基本情報:

事業内容:
営業通話を自動でCRMデータに変換。
基本情報:

事業内容:
AI Automation for Therapy Practices
基本情報:

事業内容:
Building the library for superintelligence.
基本情報:

事業内容:
不動産管理のためのAIワークフォース
基本情報:

事業内容:
あなたのAIワークフォースをつくろう
基本情報:

事業内容:
Scout is an AI news aggregator that turns your role, industry, and…
基本情報:

事業内容:
AIを活用した医療費請求
基本情報:

事業内容:
クレジットカードのポイントとマイルで使えるフライト検索エンジン
基本情報:

事業内容:
Fast Models Optimized for Coding Agents
基本情報:

事業内容:
溶接ロボットのためのAI制御レイヤー
基本情報:

事業内容:
1型糖尿病を治し、予防する
基本情報:

事業内容:
AI Agents for Location
基本情報:

事業内容:
AI旅行プランナー
基本情報:

事業内容:
Open source applied AI lab building next-gen devtools
基本情報:

事業内容:
An AI-powered CAD software
基本情報: