NexusFlow OS
C

Cajal

Winter 2026
caj.al/B2BUnknown
Market index

Investor read

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

Memo snapshot · May 19, 2026, 8:21 PM

What they do

Cajal CajalOur WorkServicesDatasetsVerified training corpora for Lean 4, Coq, and IsabelleEvaluationsRigorous benchmarks with Pass@k metricsRL EnvironmentsNative proof assistant bindings with sub-ms latencyView all serv…

Quick read

  • •Cajal CajalOur WorkServicesDatasetsVerified training corpora for Lean 4, Coq, and IsabelleEvaluationsRigorous benchmarks with Pass@k metricsRL EnvironmentsNative proof assistant bindings with sub-ms latencyView all serv…
  • •Reported angle: Blog | Cajal
  • •Indexed activity snapshot: 0 funding‑related row(s), 1 hiring‑related, 0 GitHub‑tagged, 2 product/news‑style — scoring reflects corpus coverage only.

Stage

Seed (YC)

Evidence summary

Verified facts

  • •Cajal CajalOur WorkServicesDatasetsVerified training corpora for Lean 4, Coq, and IsabelleEvaluationsRigorous benchmarks with Pass@k metricsRL EnvironmentsNative proof assistant bindings with sub-ms latencyView all serv…
  • •Reported angle: Blog | Cajal
  • •Indexed activity snapshot: 0 funding‑related row(s), 1 hiring‑related, 0 GitHub‑tagged, 2 product/news‑style — scoring reflects corpus coverage only.
Nexus growth score
40.0Early / quiet
7D+0%
30D+0%
Medium Confidence

Source health

  • public_market_enrichmentok
    Last checked Mon, May 11, 05:04 AM
  • public_page:_pressnot_found
    Last checked Mon, May 11, 05:04 AM

    HTTP 404

  • public_page:_newsnot_found
    Last checked Mon, May 11, 05:04 AM

    HTTP 404

  • public_page:_jobsnot_found
    Last checked Mon, May 11, 05:04 AM

    HTTP 404

  • public_page:_companynot_found
    Last checked Mon, May 11, 05:04 AM

    HTTP 404

  • public_page:_careersok
    Last checked Mon, May 11, 05:04 AM
  • public_page:_blogok
    Last checked Mon, May 11, 05:04 AM
  • public_page:_aboutnot_found
    Last checked Mon, May 11, 05:04 AM

    HTTP 404

  • public_page:_ok
    Last checked Mon, May 11, 05:04 AM
  • public_page:homeok
    Last checked Mon, May 11, 05:04 AM
  • public_page:customersnot_found
    Last checked Sun, May 10, 10:19 PM

    HTTP 404

  • public_page:pricingnot_found
    Last checked Sun, May 10, 10:19 PM

    HTTP 404

  • public_page:pressnot_found
    Last checked Sun, May 10, 10:19 PM

    HTTP 404

  • public_page:newsnot_found
    Last checked Sun, May 10, 10:19 PM

    HTTP 404

  • public_page:blogok
    Last checked Sun, May 10, 10:19 PM
  • public_page:jobsnot_found
    Last checked Sun, May 10, 10:19 PM

    HTTP 404

  • public_page:careersok
    Last checked Sun, May 10, 10:19 PM
  • public_page:teamnot_found
    Last checked Sun, May 10, 10:19 PM

    HTTP 404

  • public_page:aboutnot_found
    Last checked Sun, May 10, 10:19 PM

    HTTP 404

Nexus score momentum

407D +030D +0
100500
2026-05-10: 402026-05-11: 40

Signal breakdown

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

Score snapshots

Public source summary

Total evidence rows
5
Latest evidence
Mon, May 11, 05:04 AM

Source types found

blogcareers_pagenewsofficial_site

Public signal timeline

Newest first · 5 event(s)

1
Mon, May 11, 05:04 AM · careers_page · 90% · publichigh quality

Cajal

Source: Careers

CajalOur WorkServicesDatasetsVerified training corpora for Lean 4, Coq, and IsabelleEvaluationsRigorous benchmarks with Pass@k metricsRL EnvironmentsNative proof assistant bindings with sub-ms latencyView all servicesBlogCareersContactBook a DemoCareersWe're building the data infrastructure that enables AI to reason with mathematical precision. Join us in scaling formal verification for the next generation of AI sys…

Source ↗
2
Mon, May 11, 05:04 AM · blog · 90% · publichigh quality

Blog | Cajal

Source: Blog / news

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

Source ↗
3
Mon, May 11, 05:04 AM · official_site · 90% · publichigh quality

Cajal

Source: Homepage

CajalOur WorkServicesDatasetsVerified training corpora for Lean 4, Coq, and IsabelleEvaluationsRigorous benchmarks with Pass@k metricsRL EnvironmentsNative proof assistant bindings with sub-ms latencyView all servicesBlogCareersContactBook a DemoWe are scalingformal verificationAccelerating scientific discovery with rigor and trustMathematical certainty.At scale.What is formal verificationMathematical proofs that gu…

Source ↗
4
Mon, May 11, 05:04 AM · news · 45% · publicmedium quality

Cajal (YC W26) | LinkedIn

Source: Social (linked from site)

Cajal (YC W26) | LinkedIn Skip to main content LinkedIn Top Content People Learning Jobs Games Sign in Join now

Source ↗
5
Mon, May 11, 05:04 AM · news · 45% · publiclow quality

Social profile

Source: Social (linked from site)

Something went wrong, but don’t fret — let’s give it another shot.Try again Some privacy related extensions may cause issues on x.com. Please disable them and try again.

Source ↗

Official / company site

1 row(s)

official_site·Mon, May 11, 05:04 AM·Confidence 90%high qualitypublic

Cajal

Source name: Homepage

CajalOur WorkServicesDatasetsVerified training corpora for Lean 4, Coq, and IsabelleEvaluationsRigorous benchmarks with Pass@k metricsRL EnvironmentsNative proof assistant bindings with sub-ms latencyView all servicesBlogCareersContactBook a DemoWe are scalingformal verificationAccelerating scientific discovery with rigor and trustMathematical certainty.At scale.What is formal verificationMathematical proofs that gu…

https://caj.al/

Hiring

1 row(s)

careers_page·Mon, May 11, 05:04 AM·Confidence 90%high qualitypublic

Cajal

Source name: Careers

CajalOur WorkServicesDatasetsVerified training corpora for Lean 4, Coq, and IsabelleEvaluationsRigorous benchmarks with Pass@k metricsRL EnvironmentsNative proof assistant bindings with sub-ms latencyView all servicesBlogCareersContactBook a DemoCareersWe're building the data infrastructure that enables AI to reason with mathematical precision. Join us in scaling formal verification for the next generation of AI sys…

https://caj.al/careers

Social

2 row(s)

news·Mon, May 11, 05:04 AM·Confidence 45%medium qualitypublic

Cajal (YC W26) | LinkedIn

Source name: Social (linked from site)

Cajal (YC W26) | LinkedIn Skip to main content LinkedIn Top Content People Learning Jobs Games Sign in Join now

https://www.linkedin.com/company/cajal-technologies
news·Mon, May 11, 05:04 AM·Confidence 45%low qualitypublic

Social profile

Source name: Social (linked from site)

Something went wrong, but don’t fret — let’s give it another shot.Try again Some privacy related extensions may cause issues on x.com. Please disable them and try again.

https://x.com/CajalResearch

Blog

1 row(s)

blog·Mon, May 11, 05:04 AM·Confidence 90%high qualitypublic

Blog | Cajal

Source name: Blog / news

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

https://caj.al/blog

Private workspace

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

Sign in