← back

Theorem

YC Spring 2025 Active

Program verification so even your systems engineers can vibecode

https://theorem.dev ↗
Thesis fit
Off-thesis

Outside your stated focus; easy to skip unless something exceptional.

Edit thesis
Below your usual filter (40+)
Idea match Moderate

How close the company’s idea is to your thesis statement

Sector None

Overlap with sectors you care about

Geography Unknown

Location unknown — scores 0

Your thesis: “We back exceptional technical founders building AI-first products and infrastructure, deploying $100K checks within 24 hours.”

Founder → stable Traction → stable Idea vs market ↓ declining
Generate memo
Add / edit details

Correct facts used on the next screening or memo.

Activity & evidence

Y Combinator Y Combinator · in batch signal ▸

Similar baseline plays (YC · idea space)

Evidently AI · Active
Open-source monitoring for machine learning models
founders not scraped yet
Opslane · Active
Verify AI-generated code before you ship it
founders not scraped yet
Vibe Kanban · Active
Plan and review AI generated code
founders not scraped yet
Amika · Active
Infra to build your own software factory
founders not scraped yet
Bronco AI · Active
AI for ASIC Design Verification
founders not scraped yet