Cajal
YC W26 · Active · Scaling formal verification to accelerate scientific discovery
Competitors
| Company | Category | Status | Program |
|---|---|---|---|
 Ruya AIShared: accelerate scientific, scientific discoveryNot statedAI | AI | Not stated | Antler2024 |
 Conductor QuantumShared: scientific discovery, quantumActiveAI | AI | Active | YCS24 |
Adjacent
| Company | Category | Status | Program |
|---|---|---|---|
 AnswerThisShared: scientific discovery, accelerate scientificActiveOther | Other | Active | YCF25 |
 Argument Computer CorporationShared: formal verification, accelerate, computingActiveOther | Other | Active | YCW22 |
 BioRenderShared: accelerate scientific, scientific discoveryActiveOther | Other | Active | YCW18 |
 NeuromorphicShared: accelerate scientificActiveAI | AI | Active | YCS26 |
 AuroraQShared: quantum computing, systemInactiveOther | Other | Inactive | YCW19 |
Also from W26 in AI
All of W26| Company | Category | Status |
|---|---|---|
 /dev/fast/dev/fast is the AI-native code forgeActiveAI, Devtools | AI, Devtools | Active |
 10x ScienceThe AI-native platform for next-generation protein characterization.ActiveAI | AI | Active |
 21stUI building blocks for the agentic internetActiveAI, Devtools | AI, Devtools | Active |
 AemonThe Forward-Deployed AI Research EngineerActiveAI, Devtools | AI, Devtools | Active |
 Agentic FabriqThe control plane for AI agents.ActiveAI | AI | Active |
 Alt-XBuilding the best venue for private markets exposure.ActiveAI, Data | AI, Data | Active |
Founders
- Pedro NobreFounder/CEO
- Luke JohnstonFounder/CTO
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.
- YC batch
- W26 · Winter 2026
- Status, per YC
- Active
- Category
- AI
- Team size
- 2
- Location
- San Francisco, CA, USA
- Founded
- 2025
- Checked
- 33m ago
Cajal: questions
Which YC batch was Cajal in?
Cajal was in Y Combinator's Winter 2026 batch (W26).
Is Cajal still active?
Y Combinator lists Cajal as active.
Who founded Cajal?
Cajal's founders, as listed on its YC page: Pedro Nobre (Founder/CEO), Luke Johnston (Founder/CTO).
Where is Cajal based?
Cajal lists San Francisco, CA, USA as its location on YC's directory.
Sources: each program's public company list, read twice a week. Not affiliated with Y Combinator or any other program. Logos via logo.dev; trademarks belong to their owners.