
Theorem
事業内容:
Program verification so even your systems engineers can vibecode
基本情報:
このリストには6,379社のスタートアップが掲載されています(2026年10月15日更新)。 現在1,190社が採用中です。 主な拠点:サンフランシスコ (3,173)、ニューヨーク (858)、ロサンゼルス (197)。 チーム規模の大きい企業:DoorDash、Stripe、Airbnb。 直近のラウンド:Lungpacer Medicalが$7.83Mを調達(2026年10月14日)。

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

事業内容:
Open Source AI Agent Improvement Platform
基本情報:

事業内容:
The World's First AI Ad Network.
基本情報:
事業内容:
Robots, parts & RL envs & evals - delivered in 48 hrs / pickup in SF.
基本情報:

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

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

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

事業内容:
AI platform to grow and to optimize car washes
基本情報:

事業内容:
現場で働く人たちのためのAIネイティブなRippling
基本情報:

事業内容:
プライマリケア診療所のためのAI紹介業務自動化
基本情報:

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

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

事業内容:
Superintelligent space Robots
基本情報:

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

事業内容:
Design your home instantly with AI
基本情報:

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

事業内容:
筋力トレーニングを記録するウェアラブル
基本情報:

事業内容:
Dynamically pricing the whole economy.
基本情報:

事業内容:
宇宙での製造のための衛星
基本情報:

事業内容:
communication for agents
基本情報:

事業内容:
障壁のないがん検診
基本情報:

事業内容:
誰でも使える高速・スマート・手軽な3D超音波
基本情報:

事業内容:
Autonomous services for humanity.
基本情報:

事業内容:
The open source alternative to Claude Cowork
基本情報:

事業内容:
あらゆるメーカーのための自律型ERP
基本情報:

事業内容:
Computer use agents to deploy enterprise marketing campaigns
基本情報:

事業内容:
家電修理会社を回すAI従業員
基本情報:

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

事業内容:
米国の産業基盤のためのAIネイティブなエレクトロニクス製造
基本情報:

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

事業内容:
…向けの省エネLED照明器具を設計・製造しています
基本情報:

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

事業内容:
超音波+機械学習でインフラの流体挙動を解析…
基本情報:

事業内容:
あらゆる睡眠の悩みに、ひとつのクリニックで
基本情報:

事業内容:
アルツハイマー病の早期発見
基本情報:

事業内容:
決済詐欺を減らす
基本情報: