MentionFox
Home › funding signals › Topos
Accelerator · announced

Topos (YC F26) — Agent swarms for formal verification

Topos is a neolab founded by two Harvard math dropouts, building agent swarms to bring the rigor and verifiability of mathematics to other fields. Starting in biology, we’re optimizing how agents communicate, formalize problems, and verify each other’s reasoning.

Topos is a Y Combinator company in the Fall 2026 batch. Its directory entry describes it as: Agent swarms for formal verification. The founders listed are Ryan Min June Shin (Founder/CEO), Sohum Sukhatankar (Founder/CTO) (Y Combinator directory entry, October 23, 2026).

6 more companies from YC Fall 2026 ↓

Run the free check on Topos →

Sell to companies like Topos? Enter your website and see 10 with a filed reason to buy from you this month. Free.

Opens in a new tab. No signup.

Topos

New accelerator entry · 2026-10-23 · the record

Fall 2026
batch
2
people
Early
stage
United States of America
region
Open the record →

What the record says

BatchFall 2026
Announced2026-10-23
StageEarly
StatusActive
Team size2
IndustryIndustrials
Sub-industryIndustrials
SectorsSwarm AI, AI
RegionsUnited States of America, America / Canada
BasedSan Francisco, CA, USA
HiringNo
Sitehttps://www.toposlab.com
Founded2026
YC group partnerCharlie Warren

Pitching, partnering or investing alongside them? See who really runs and owns Topos.

Free to see. No signup.

Keep reading

More on Topos and the records around it.

Also in YC Fall 2026

Same batch, Industrials first.

What do you want to do with Topos?

Get the full cited report on Topos

Example from a real report (our sample on Target): “In March 2026, Target announced a planned incremental $1 billion operating investment” Source: Target Corporation (press release)

A Full Report on Topos: verified, sourced, every claim cited, ready in a few minutes. See pricing.

See a sample report

In their words

Topos is a neolab founded by two Harvard math dropouts, building agent swarms to bring the rigor and verifiability of mathematics to other fields. Starting in biology, we’re optimizing how agents communicate, formalize problems, and verify each other’s reasoning.

Want the whole picture on Topos?

Example from a real report (our sample on Target): “In March 2026, Target announced a planned incremental $1 billion operating investment” Source: Target Corporation (press release)

A Full Report on Topos: verified, sourced, every claim cited, ready in a few minutes. See pricing.

What the Full Report on Topos covers

  1. The Short Answer

  2. Which Company This Is

  3. What They Do, And How The Money Works

  4. Who Runs It, And How To Reach Them

  5. The Money: Funding, Valuation, Runway

  6. Who Pays Them, And Who They Are Up Against

  7. Warning Bells

  8. Sources

    6 cited sources found

Plus the sections for what you are deciding, which you pick after ordering.

See a sample report

First screen of a real sample Full Report on EchoStar: the verdict, 17 sections, 63 cited sources, built 2026-10-21A real finished report, first screen. Opens in a new tab.

The full profile

Checking your access…

Is this you?

If you're behind Topos: acceptance into a YC batch is one of the few weeks a young company gets looked up by people who matter — investors, other founders, press. FoxPlug turns the commits, deploys, and releases you're already making into that story automatically, so anyone who looks finds something current. GetFoxChat puts a guide on your own site so the people YC's own page just sent you don't read one line and leave.

Sourced from the company's Y Combinator directory entry, and from the company's own site, read directly on 2026-10-24 (toposlab.com).

RSS

Tools for this story

Each opens in a new tab, filled in for Topos. With no account yet, you sign up free and land on the result.

Share this page

Is this your company?

Share the news. Sharing needs no account.

Topos: Accepted into Y Combinator Fall 2026
Share on LinkedIn Share on X Download image

Cite this page

Permanent URL: https://mentionfox.com/funding/yc-topos
Last updated 2026-10-25
Primary record: Y Combinator directory entry
Topos (YC F26) — Agent swarms for formal verification. MentionFox, 2026-10-25. https://mentionfox.com/funding/yc-topos