{"listing":{"listing_type":"company","name":"Cajal","slug":"cajal-technologies","tagline":"Scaling formal verification to accelerate scientific discovery","description":"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.\n\nWe 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.\n\nCajal is a Y Combinator company (Winter 2026). YC-listed status: Active.","url":"https://caj.al/","is_stealth":false,"normalized_domain":"caj.al","normalized_url_key":"caj.al","parent_slug":null,"parent":null,"type_data":{},"logo":"https://bookface-images.s3.amazonaws.com/small_logos/ff369359daa357b54e6a4db92f80988a4ca84392.png","links":[{"label":"Y Combinator profile","url":"https://www.ycombinator.com/companies/cajal-technologies","platform":"ycombinator"}],"entry_points":[{"kind":"homepage","url":"https://caj.al/","audience":"any","primary":false,"listed_by":"community","derived_from":"url","on_listing_domain":true}],"primary_entry_points":{"human":{"kind":"homepage","url":"https://caj.al/","audience":"any","primary":false,"listed_by":"community","derived_from":"url","on_listing_domain":true},"agent":null},"founders":[],"media":null,"categories":["B2B"],"stage":null,"founded_year":null,"location":"San Francisco, CA, USA","pricing":null,"twitter":null,"github":null,"linkedin":null,"contact_email":null,"added_at":"2026-09-03T08:20:19.000Z","added_via":"web","geo":{"keywords":["Y Combinator","YC Winter 2026"],"one_liner_for_search":"Cajal — Scaling formal verification to accelerate scientific discovery (Y Combinator Winter 2026)","canonical_facts":["Y Combinator batch: Winter 2026","YC company status: Active","Team size (per YC directory): 2","YC industry: B2B","YC subindustry: B2B","Former names: Cajal Technologies","Regions (per YC): United States of America, America / Canada"]},"agents":null,"featured_until":null,"example":false,"ownership_status":"unclaimed","claimed_by_agent_id":null,"claimed_via_claim_id":null,"claimed_at":null,"updated_at":"2026-09-03T08:20:19.000Z","is_featured":false,"category_memberships":[{"kind":"industry","slug":"b2b","name":"B2B","note":null,"profile_url":"/industries/b2b"}]}}