# Cajal Technologies

**Canonical:** https://apis.io/providers/cajal-technologies/  
**Website:** https://caj.al  
**APIs profiled:** 0

Cajal Technologies (Cajal) is a San Francisco-based Y Combinator (W26) company scaling formal verification to accelerate scientific discovery. Its multi-agent system, Tau, collaborates to discover and verify new mathematical proofs in Lean, deploying AI mathematicians across high-impact applied domains starting with quantum computing and finance. Tau verifies compiled binaries with mathematical certainty down to the machine level. Cajal also partners with frontier AI labs and research institutes to improve their systems through datasets, evals, and RL environments, and open-sources tooling such as Talos, a Wasm interpreter written in Lean designed for reasoning.

## Kin Score — 12.4 / 100 (emerging)

Scored 2026-08-20 under rubric 0.12.0. Trend: flat (+0.0 from 12.4).

| Facet | Score |
|---|---|
| Discoverability | 50.0 |
| Contract Quality | 0.0 |
| Governance | 0.0 |
| Contract Governance | 0.0 |
| Operational Transparency | 13.2 |
| Developer Ergonomics | 7.1 |
| Commercial Clarity | 21.1 |
| Access Clarity | 21.1 |

## Agent readiness — 0.0 (human-only)

| Dimension | Value |
|---|---|
| Spec Presence | no |
| Agentic Access | no |
| Reversibility Documented | no |
| MCP Server | no |
| Auth Clarity | no |
| Idempotency | no |
| Error Semantics | no |
| OpenAPI Examples | no |
| Rate Limit Signal | no |
| Event Surface Described | no |
| Agent Skills | no |
| Well Known Catalog | no |
| Consent Identity | no |
| Agent Card | no |
| Dry Run Mode | no |

## Access

Unknown — onboarding: unknown, pricing: unknown, trial: no (confidence: low).

## Security (2)

- **Cajal Technologies Domain Security** — TLSv1.3 · HSTS
- **Cajal Technologies Vulnerability Disclosure** — disclosure policy published

## Tags

Company, Formal Verification, Artificial Intelligence, Mathematics, Lean, Quantum Computing, Finance, Developer Tools, Research

---

Profiled by [API Evangelist](https://apievangelist.com) and published on [APIs.io](https://apis.io/providers/cajal-technologies/). Scores are computed from the provider's own public artifacts under a published rubric.