Loading startup

DealFlow OS
Market indexPublic companiesMorning briefingTerminal
Request accessSign in

DealFlow

Terminal access

IndexTop moversSignals

Public markets

Public companiesMorning briefing
Browse index
C

Cajal

Pre-SeedFunding signal
caj.alB2BUnknown
Market index

Market data is refreshed once per day from public sources. Information may be incomplete or outdated — verify independently before making decisions. This is not investment advice.

Investor read

Evidence-bound summary — expand sections for movement, risks, and signals.

Memo snapshot · May 20, 2026, 6:25 PM

Worth a meetingEvidence-bound analyst verdict
  • •Funding: Raised $500K across 1 funding round. Latest: $500K Pre-seed (Jan 2026). Investors: Y Combinator.
  • •Named backers in indexed sources: Y Combinator.
  • •Hiring: 1 hiring‑related row(s); role‑spam risk if mostly generic boards
  • •Product/news: 2 product/news‑styled row(s); headline risk without filings

DealFlow OS uses public web data and automated enrichment. Research may be incomplete, outdated, or incorrect. Verify important information before making investment or outreach decisions.

TL;DR

Seed (YC)

Cajal Verified training corpora, evaluations, and RL environments for Lean/Coq/Isabelle.

Funding

Raised $500K across 1 funding round. Latest: $500K Pre-seed (Jan 2026). Investors: Y Combinator. (High).

Quick read

  • •Cajal Verified training corpora, evaluations, and RL environments for Lean/Coq/Isabelle.
  • •Reported angle: Blog | Cajal

Key signals

Funding

Raised $500K across 1 funding round. Latest: $500K Pre-seed (Jan 2026). Investors: Y Combinator. (High).

Hiring

1 hiring‑related row(s); role‑spam risk if mostly generic boards (Low).

Product / news

2 product/news‑styled row(s); headline risk without filings (High).

Evidence summary

Verified facts

  • •Cajal Verified training corpora, evaluations, and RL environments for Lean/Coq/Isabelle.
  • •Reported angle: Blog | Cajal

Recent movers

  • •May 20, 2026 · ycombinator.com — Cajal | Y Combinator
  • •May 11, 2026 · Careers — Cajal
  • •May 11, 2026 · Blog / news — Blog | Cajal

+1 more in Recent movement below

  • •May 20, 2026 · ycombinator.com — Cajal | Y Combinator
  • •May 11, 2026 · Careers — Cajal
  • •May 11, 2026 · Blog / news — Blog | Cajal
  • •May 20, 2026 · ycombinator.com — Launch YC: Cajal
  • •Y Combinator

Suggested next steps

  • ▸Open a founder conversation this month; validate traction claims against the indexed evidence.
  • ▸Add to the active watchlist so new signals trigger alerts.

Funding & hiring signals

funding_articleConfidence: low

Cajal | Y Combinator

Winter 2026 batch; scaling formal verification (Lean) for scientific discovery.

Affected score: noObserved: May 20, 2026

Weak funding evidence: mention does not include a parsed raise amount/round and may refer to non-funding context.

Open roles (indexed)

No open roles indexed yet.

Public index
58Activity 98/100Strong public activity signal
7D+16 (+38.1%)
30D+16 (+38.1%)
High Confidence

The index price and activity score are algorithmic estimates based on observed public company-level signals. They may be incomplete, stale, or inaccurate and are not investment, legal, tax, or business advice.

Source health

  • public_page:blogok
    Last checked Thu, Jul 2, 04:03 PM
  • public_page:careersok
    Last checked Thu, Jul 2, 04:03 PM
  • public_page:homeok
    Last checked Thu, Jul 2, 04:03 PM
  • githubok
    Last checked Mon, Jun 29, 10:45 AM
  • socialok
    Last checked Mon, Jun 29, 10:45 AM

    Cajal:reddit_credentials_not_configured

  • public_market_enrichmentok
    Last checked Mon, Jun 29, 09:23 AM
  • public_page:_careersok
    Last checked Mon, Jun 29, 09:23 AM
  • public_page:_blogok
    Last checked Mon, Jun 29, 09:23 AM
  • public_page:_ok
    Last checked Mon, Jun 29, 09:23 AM

Signal timeline

14 dated public signals · newest on the right

Funding
Hiring
Code
Press
Social
Company
Other
Dec 25, 2025Apr 2, 2026Jul 9, 2026
Funding (1)Hiring (1)Code (3)Press (2)Social (2)Company (3)Other (2)

Signal breakdown

Latest momentum signal per category. Expand a card to inspect raw payloads.

Public source summary

Total evidence rows
14
Latest evidence
Thu, Jul 2, 04:03 PM

Source types found

blogcareers_pagefunding_articlegithubofficial_siteotherpresssocial

Strongest / recent news-style rows

  • Cajal | Y Combinator

    Wed, May 20, 06:25 PM · confidence 88%high quality

  • Cajal

    wikipedia · Mon, Jun 29, 10:44 AM · confidence 50%medium quality

  • Cajal–Retzius cell

    wikipedia · Mon, Jun 29, 10:44 AM · confidence 50%medium quality

Public signal timeline

Newest first · 14 event(s)

1
Thu, Jul 2, 04:03 PM · blog · 90% · publichigh qualityBlog | Cajal

Source: Blog

Research updates and perspectives on AI and formal verification from Cajal.

Source ↗
2
Thu, Jul 2, 04:03 PM · careers_page · 70% · publichigh qualityCajal | Provably correct code

Source: Careers page

Join Cajal Technologies. Build the prover that brings mathematical certainty to mission-critical software.

Source ↗
3
Thu, Jul 2, 04:03 PM · official_site · 90% · publichigh qualityCajal | Provably correct code

Source: Homepage

Cajal builds Tau, a prover that verifies your compiled binary with mathematical certainty. Make your mission-critical software provably correct, down to the machine level.

Source ↗
4
Mon, Jun 29, 10:44 AM · official_site · 75% · publichigh qualityCajal | Provably correct code

Source: official_site

Careers | Cajal Tau Blog Careers Contact Book a Demo Careers We are hiring. To be considered, impress us with a PR to Talos , our open-source Lean-WASM interpreter, then send us an email . We don't care about your CV. © 2026 Cajal Technologies, Inc | Lin…

Source ↗
5
Mon, Jun 29, 10:44 AM · official_site · 75% · publichigh qualityBlog | Cajal

Source: official_site

Blog | Cajal Tau Blog Careers Contact Book a Demo Blog Research updates and perspectives on AI and formal verification. Featured March 20, 2026 8 min read Mathematics, AI, and Formalization: The State of Play From autoregressive token generators to formally v…

Source ↗
6
Wed, May 20, 06:25 PM · funding_article · 88% · verified_publichigh qualityCajal | Y Combinator

Winter 2026 batch; scaling formal verification (Lean) for scientific discovery.

Source ↗
7
Mon, Jun 29, 10:45 AM · social · 56% · publicmedium qualityCajal – Local AI that writes peer-reviewed papers with simulated peer review

Source: hackernews

Source ↗
8
Mon, Jun 29, 10:44 AM · other · 50% · publicmedium qualityCajal

Source: wikipedia

Source ↗
9
Mon, Jun 29, 10:44 AM · other · 50% · publicmedium qualityCajal–Retzius cell

Source: wikipedia

Source ↗
10
Wed, May 20, 06:25 PM · press · 85% · verified_publicmedium qualityLaunch YC: Cajal

Machine-verified mathematical proofs via Lean.

Source ↗
11
Mon, Jun 29, 10:45 AM · github · 55% · publiclow qualitycajon

Source: npm_registry

A browser module loader that can load CommonJS/node and AMD modules. Built on top of RequireJS.

Source ↗
12
Mon, Jun 29, 10:45 AM · github · 55% · publiclow qualitycaj-sample-stencil

Source: npm_registry

Sample Stencil components

Source ↗
13
Mon, Jun 29, 10:45 AM · github · 55% · publiclow qualitycaj

Source: npm_registry

Source ↗
14
Mon, Jun 29, 10:45 AM · social · 56% · publiclow qualityShow HN: Talos – Open-source WASM interpreter for Lean

Source: hackernews

Source ↗

Official / company site

3 row(s)

The company's own site — the authoritative description of what they sell and to whom. Marketing-controlled, so treat claims as positioning rather than verified traction.

official_site·Thu, Jul 2, 04:03 PM·Confidence 90%high qualitypublic
Cajal | Provably correct code

Cajal builds Tau, a prover that verifies your compiled binary with mathematical certainty. Make your mission-critical software provably correct, down to the machine level.

Why it matters: Primary source — the company's own positioning; best read for what they sell and to whom, not for traction claims.

Open source ↗
official_site·Mon, Jun 29, 10:44 AM·Confidence 75%high qualitypublic
Cajal | Provably correct code

Careers | Cajal Tau Blog Careers Contact Book a Demo Careers We are hiring. To be considered, impress us with a PR to Talos , our open-source Lean-WASM interpreter, then send us an email . We don't care about your CV. © 2026 Cajal Technologies, Inc | Lin…

Why it matters: Primary source — the company's own positioning; best read for what they sell and to whom, not for traction claims.

Open source ↗
official_site·Mon, Jun 29, 10:44 AM·Confidence 75%high qualitypublic
Blog | Cajal

Blog | Cajal Tau Blog Careers Contact Book a Demo Blog Research updates and perspectives on AI and formal verification. Featured March 20, 2026 8 min read Mathematics, AI, and Formalization: The State of Play From autoregressive token generators to formally v…

Why it matters: Primary source — the company's own positioning; best read for what they sell and to whom, not for traction claims.

Open source ↗

News

3 row(s)

Third-party press coverage. Independent reporting corroborates company claims; repeated coverage across outlets is a momentum signal.

other·Mon, Jun 29, 10:44 AM·Confidence 50%medium qualitypublic
Cajal

Why it matters: Independent coverage — third-party corroboration of company claims; recurring coverage indicates rising visibility.

Open source ↗
other·Mon, Jun 29, 10:44 AM·Confidence 50%medium qualitypublic
Cajal–Retzius cell

Why it matters: Independent coverage — third-party corroboration of company claims; recurring coverage indicates rising visibility.

Open source ↗
press·Wed, May 20, 06:25 PM·Confidence 85%medium qualityverified_public
Launch YC: Cajal

Machine-verified mathematical proofs via Lean.

Why it matters: Independent coverage — third-party corroboration of company claims; recurring coverage indicates rising visibility.

Open source ↗

Funding / news

1 row(s)

Funding announcements and investor-database records. The strongest public signal of capitalization: round, amount, and syndicate quality when disclosed.

funding_article·Wed, May 20, 06:25 PM·Confidence 88%high qualityverified_public
Cajal | Y Combinator

Winter 2026 batch; scaling formal verification (Lean) for scientific discovery.

Why it matters: Funding signal — Pre-Seed per this source; verify against the linked original before relying on it.

Open source ↗

Hiring

1 row(s)

Open roles and careers pages. Active hiring implies runway to spend and shows where the company is investing (engineering vs GTM vs ops).

careers_page·Thu, Jul 2, 04:03 PM·Confidence 70%high qualitypublic
Cajal | Provably correct code

Join Cajal Technologies. Build the prover that brings mathematical certainty to mission-critical software.

Why it matters: Hiring signal — open roles imply runway to spend and show where the company is investing.

Open source ↗

GitHub

4 row(s)

Public engineering activity. Sustained commits, releases, and stars indicate real product development and, for dev tools, developer adoption.

github·Mon, Jun 29, 10:45 AM·Confidence 55%low qualitypublic
cajon

A browser module loader that can load CommonJS/node and AMD modules. Built on top of RequireJS.

Why it matters: Engineering signal — public repo activity evidences active development and possible developer adoption.

Open source ↗
github·Mon, Jun 29, 10:45 AM·Confidence 55%low qualitypublic
caj-sample-stencil

Sample Stencil components

Why it matters: Engineering signal — public repo activity evidences active development and possible developer adoption.

Open source ↗
github·Mon, Jun 29, 10:45 AM·Confidence 55%low qualitypublic
caj

Why it matters: Engineering signal — public repo activity evidences active development and possible developer adoption.

Open source ↗
social·Mon, Jun 29, 10:45 AM·Confidence 56%low qualitypublic
Show HN: Talos – Open-source WASM interpreter for Lean

Why it matters: Engineering signal — public repo activity evidences active development and possible developer adoption.

Open source ↗

Social

1 row(s)

Social presence and mentions. A soft signal — useful for gauging attention and launch reception, not a substitute for verified traction.

social·Mon, Jun 29, 10:45 AM·Confidence 56%medium qualitypublic
Cajal – Local AI that writes peer-reviewed papers with simulated peer review

Why it matters: Attention signal — social mention or presence; soft signal of market interest.

Open source ↗

Blog

1 row(s)

Company blog and newsletters. Shipping cadence and technical depth of posts hint at product velocity and team quality.

blog·Thu, Jul 2, 04:03 PM·Confidence 90%high qualitypublic
Blog | Cajal

Research updates and perspectives on AI and formal verification from Cajal.

Why it matters: Company publishing — post cadence and depth hint at product velocity.

Open source ↗

Private workspace

Sign in as an active team member to view private notes, watchlist controls, transcript evidence, and interaction history.

Sign in
DealFlow OS · Public market terminal
Privacy PolicyTerms & Conditions