Cajal

Scaling formal verification to accelerate scientific discovery

·B2B SaaS·YC Winter 2026·tracked since Sep 25, 2026
WatchVisit site ↗
Monthly revenue–Not shared yet
Rank–Unranked
Last 30 days–Growth in MRR
Revenue per founder–– founders

About Cajal

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.

Discover more startups

Browse the board →
Rezi logo
ReziProductivity
Most people agree this is the best resume builder in the world.
MRR
$251K
Last 30 days
-2%
Founder
Jacob Jacquet
Outrank logo
OutrankMarketing & SEO
Keyword research and blogging on auto-pilot for growth
MRR
$250K
Last 30 days
0%
Founder
Eugene Zolotarenko
Dua logo
DuaCommunity & Social
dua.com brings Albanians together for serious relationships based on family values, cultural pride, and finding the perfect partner to share your journey with.
MRR
$250K
Last 30 days
0%
Founder
Valon Asani