Back to all companies
Sign in
Back to all companies
Theorem logo

Theorem

Spring 2025Active

Program verification so even your systems engineers can vibecode

Save
Theorem logo

Theorem

Spring 2025Active

Program verification so even your systems engineers can vibecode

Save
Company details

Theorem is training models that make program verification 10,000 times faster. Using verification as a feedback loop, developers have found zero-days in GPU accelerated code and cryptography implementations, and sped up code migration in legacy systems. If you have complicated code that needs to be correct and secure, sign up for our beta!

Location
San Francisco, CA, USA
Founded
Unknown
Category
Machine Learning
YC Directory Pagetheorem.dev
Founders
  • JG
    Jason Gross
    Founder
    X / TwitterLinkedIn
  • RA
    Rajashree Agrawal
    Founder
    X / TwitterLinkedIn

Theorem is training models that make program verification 10,000 times faster. Using verification as a feedback loop, developers have found zero-days in GPU accelerated code and cryptography implementations, and sped up code migration in legacy systems. If you have complicated code that needs to be correct and secure, sign up for our beta!

Location
San Francisco, CA, USA
Founded
Unknown
Category
Machine Learning
YC Directory Pagetheorem.dev
Founders
  • JG
    Jason Gross
    Founder
    X / TwitterLinkedIn
  • RA
    Rajashree Agrawal
    Founder
    X / TwitterLinkedIn
Pro

Upgrade to Pro, then request the Theorem teardown.

This company does not have a completed analysis yet. Choose a Pro plan first, then use one of your 5 monthly research requests to have our agent investigate Theorem. The full teardown, rebuild plan, and technical specs unlock when it lands.

  • Use Pro to request the first Theorem teardown and keep the finished report in your account.
  • Read every completed teardown and rebuild plan already in the database.
  • Unlock implementation-ready technical specs and 5 fresh research requests each month.

Choose your Pro plan

$20/ month

Find one worth rebuilding, get the teardown, open the implementation-ready specs, and use fresh report requests when you want deeper research.

See Pro plans
Full teardown library
Specs for every company
5 fresh requests / month
CLI for agent imports
Startups.RIP — Dead startups, alive ideas
PricingContactPrivacyGot feedback? DM @oscrhong