Cajal

Scaling formal verification to accelerate scientific discovery

B2B SaaSYC Winter 2026tracked 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 →
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
Lovo.ai logo
Lovo.aiAI Image & Video
Award-winning AI Voice Generator and text to speech software with 500+ voices in 100 languages.
MRR
$250K
Last 30 days
0%
Founder
Charlie Choi
Chili Piper logo
Chili PiperCommunity & Social
Buyer Enablement Platform
MRR
$250K
Last 30 days
–
Founder
Nicolas Vandenberghe