Cajal Technologies

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.

Cajal Technologies is profiled on the APIs.io network. Tagged areas include Company, Formal Verification, Artificial Intelligence, Mathematics, and Lean.

Cajal Technologies’ developer surface includes engineering blog, support, and 7 more developer resources.

🌐 Visit website 📡 Source on GitHub
14.3/100 minimal ▬ flat Agent 0/100 human only Full breakdown ↓
scored 2026-07-27 · rubric v0.5
0 APIs
CompanyFormal VerificationArtificial IntelligenceMathematicsLeanQuantum ComputingFinanceDeveloper ToolsResearch

Kin Score

Kin Score Kin Score How this is scored →
scored 2026-07-27 · rubric v0.5
Composite quality — 14.3/100 · minimal
Contract Quality 0.0 / 25
Developer Ergonomics 1.3 / 20
Commercial Clarity 4.2 / 20
Operational Transparency 2.1 / 13
Governance 0.0 / 12
Discoverability 6.8 / 10
Agent readiness — 0/100 · human only
Machine-Readable Contract 0 / 18
Agentic Access Contract 0 / 15
MCP Server 0 / 12
Machine-Readable Auth 0 / 10
Idempotency 0 / 9
Stable Error Semantics 0 / 8
Request/Response Examples 0 / 7
Rate-Limit Signaling 0 / 7
Typed Event Surface 0 / 6
Agent Skills 0 / 5
Well-Known Catalog 0 / 4
Consent & Bot Identity 0 / 3
Improve this rating by publishing the missing artifacts — every area above can be raised, and the full rubric is at apis.io/rating/. This rating is computed from github.com/api-evangelist/cajal-technologies: open an issue to ask a question, or submit a pull request to add artifacts. Want it done for you? Prioritized profiling — $2,500 →

Security Posture 2

Authentication, domain security, vulnerability disclosure, and trust-center signals.

Cajal Technologies Domain Security

TLSv1.3 · HSTS

SECURITY

Cajal Technologies Vulnerability Disclosure

disclosure policy published

SECURITY

Resources

Build 1

SDKs, sample code, and the tooling you integrate with

GitHubOrganization
GitHubOrganization

Access & Security 3

Authentication, authorization, and security posture

VulnerabilityDisclosure
VulnerabilityDisclosure
 DomainSecurity
DomainSecurity
 Security
Security

Operate 1

Status, limits, changes, and where to get help

Support
Support

Commercial 2

Pricing, plans, and the legal terms of use

TermsOfService
TermsOfService
 PrivacyPolicy
PrivacyPolicy

Company 2

The organization behind the API

Website
Website
 Blog
Blog

Source (apis.yml)

apis.yml Raw ↑ 
aid: cajal-technologies
name: Cajal Technologies
description: 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.
url: https://raw.githubusercontent.com/api-evangelist/cajal-technologies/refs/heads/main/apis.yml
accessModel:
  pricing: unknown
  onboarding: unknown
  trial: false
  try_now: false
  public: false
  label: Unknown
  confidence: low
  source: []
  generated: '2026-07-22'
  method: derived
image: https://caj.al/og-image.png
x-type: company
x-source: vc-portfolio
x-backed-by:
- y-combinator
x-tier: stub
x-tier-reason: portfolio-lead
specificationVersion: '0.20'
created: '2026-07-17'
modified: '2026-07-18'
tags:
- Company
- Formal Verification
- Artificial Intelligence
- Mathematics
- Lean
- Quantum Computing
- Finance
- Developer Tools
- Research
apis: []
maintainers:
- FN: Kin Lane
  email: kin@apievangelist.com
- FN: APIs.json
  email: info@apis.io
common:
- type: VulnerabilityDisclosure
  url: security/cajal-technologies-vulnerability-disclosure.yml
- type: DomainSecurity
  url: security/cajal-technologies-domain-security.yml
- type: Website
  url: https://caj.al
- type: Blog
  url: https://caj.al/blog
- type: GitHubOrganization
  url: https://github.com/cajal-technologies
- type: Support
  url: https://caj.al/contact
- type: TermsOfService
  url: https://caj.al/terms
- type: PrivacyPolicy
  url: https://caj.al/privacy
- type: Security
  url: https://caj.al/security
x-enrichment:
  date: '2026-07-19'
  status: backfilled
  pass: local-v1
  note: backfilled from .gitignore signal + verified work evidence