Cajal

Scaling formal verification to accelerate scientific discovery

Website ↗Source: Y Combinator ↗

About

Cajal (YC W26) is massively scaling formal verification to accelerate scientific discovery. We deploy superhuman AI mathematicians to high-impact applied domains, starting with quantum computing and finance.

We do this with Lean - a framework that allows us to formally verify any mathematical statement, grounding AI in truth and validating the tools discovered by our systems.

Topics

Location: San Francisco, CA, United States
Team size: 2 employees
YC batch: Winter 2026
Status: Active
Stage: Early stage

Similar startups & competitors

Stripe

Hiring

What they do:

Economic infrastructure for the internet.

Banking & lending

Quick facts:

HQ: San Francisco, CA, United States

7,000 employeesYC S09Growth stage729 open roles

View profile Website ↗

Deel

Hiring

What they do:

The all-in-one HR and payroll platform for global teams

HR & recruiting Accounting & finance ops

Quick facts:

HQ: San Francisco, CA, United States

5,000 employeesYC W19Growth stageRemote

View profile Website ↗

GrubMarket

What they do:

AI-powered technology enabler and digital transformer of American…

Logistics & supply chain Food & agriculture E-commerce & retail

Quick facts:

HQ: San Francisco, CA, United States

4,548 employeesYC W15Growth stage

View profile Website ↗

Flexport

Hiring

What they do:

Platform for global logistics.

Logistics & supply chain

Quick facts:

HQ: San Francisco, CA, United States

3,000 employeesYC W14Growth stage202 open roles

View profile Website ↗

Rippling

Hiring

What they do:

One place to run all your HR, IT, and Finance. Globally.

HR & recruiting

Quick facts:

HQ: San Francisco, CA, United States

2,500 employeesYC W17Growth stage

View profile Website ↗

Gusto

Hiring

What they do:

Provides growing businesses with everything to take care of their team

HR & recruiting Insurance

Quick facts:

HQ: San Francisco, CA, United States

2,400 employeesYC W12Growth stage97 open roles

View profile Website ↗

Questions and answers

What does Cajal do?

Scaling formal verification to accelerate scientific discovery

Where is Cajal based?

San Francisco, CA, United States

How many people work at Cajal?

2 employees, according to the company profile.

Has Cajal raised money?

There are no funding rounds for Cajal in our data.

What are the alternatives to Cajal?

Similar startups: Stripe, Deel, and GrubMarket.