claimedco.com — the verified startup registry

Theorem

theoremlabs.com · San Francisco · founded 2025 · team 4 employees, 2-10 on LinkedIn · Y Combinator SPRING 2025, $6M seed led by Khosla Ventures (Jan 2026) · trust 0/4

Theorem is building AI that is as capable at program verification as it is at writing Python.

This dossier was built by Clark from a public scan on 2026-07-04 and is unclaimed. Is this your startup? Claim it.

Verified facts

Company NameTheorem
source: Y Combinator, LinkedIn, GitHub
TaglineTheorem is building AI that is as capable at program verification as it is at writing Python.
source: theoremlabs.com, theorem.dev
CitySan Francisco
source: X/Twitter @theoremlabs, Y Combinator, LinkedIn (SF/CA)
Founded2025
source: Web search results, Y Combinator SPRING 2025, LinkedIn funding July 3, 2025
Team Size4 employees, 2-10 on LinkedIn
source: Web search results, LinkedIn
StageY Combinator SPRING 2025, $6M seed led by Khosla Ventures (Jan 2026)
source: Y Combinator, Web search results
FoundersJason Gross and Rajashree Agrawal
source: Y Combinator, Web search results
Entity TypeNot found in public records (WHOIS/DNS lookups failed, incorporation registry search did not return clear results)
source: WHOIS attempts failed
Contact Emailfounders@theorem.dev
source: theorem.dev, theoremlabs.com

Open in the registry app →