# Cajal — Scaling formal verification to accelerate scientific discovery

```yaml
url: "https://forg.to/companies/cajal"
website: "https://caj.al/"
industry: "SaaS"
company_size: "1-10 employees"
headquarters: "San Francisco, USA"
is_hiring: false
open_roles: 0
verified: false
created: 2026-07-23
```

## 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.

## Links

- Website: https://caj.al/
- Forg: https://forg.to/companies/cajal

---
Listed on [Forg](https://forg.to) — the professional network for builders

_HTML version: https://forg.to/companies/cajal_