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. - View it on GitHub