Top accelerator startups

Startups14,448Programs29

14,448 startups · 29 programs

Formal

Active · Take control of your data in real-time.

WebsiteYC profile

Why it ranks

How the rank works
9signal of 100 · rising 2
  • team of 10Team size · YC's directory+5.4
  • went through YCProgram · this site+4

A sum of public facts, not a judgement and not investment advice.

Competitors

AIContextFortShared: cybersecurity, take, controlYC S25San FranciscoStartup →AICredal.aiShared: cybersecurity, control, dataYC W23New York CityStartup →AIAgentic FabriqShared: cybersecurity, control, dataYC W26San FranciscoStartup →OtherInactiveThinAirShared: cybersecurity, take, controlYC W15San FranciscoStartup →OtherNuveShared: cybersecurity, control, real500 Global 2015United StatesStartup →
Companies closest to Formal
Company
ContextFortShared: cybersecurity, take, controlYC S25ActiveAI
Credal.aiShared: cybersecurity, control, dataYC W23ActiveAI
Agentic FabriqShared: cybersecurity, control, dataYC W26ActiveAI
ThinAirShared: cybersecurity, take, controlYC W15InactiveOther
NuveShared: cybersecurity, control, real500 Global 2015Not statedOther

Adjacent

AIStacktraceShared: cybersecurity, controlYC F26San FranciscoStartup →Developer toolsWhoAPIShared: cybersecurity, data500 Global GA 5United StatesStartup →OtherProboShared: cybersecurity, controlYC X25San FranciscoStartup →AIUnboundShared: cybersecurity, dataYC S24San FranciscoStartup →AIComplyDoShared: cybersecurity, controlYC F25BerlinStartup →
Companies next to Formal
Company
StacktraceShared: cybersecurity, controlYC F26ActiveAI, Devtools
WhoAPIShared: cybersecurity, data500 Global GA 5Not statedDevtools
ProboShared: cybersecurity, controlYC X25ActiveOther
UnboundShared: cybersecurity, dataYC S24ActiveAI, Data
ComplyDoShared: cybersecurity, controlYC F25ActiveAI

Also from S20

All of S20
AIadynThe first test designed to prevent birth control side effectsYC S20SeattleStartup →AIInactiveAI.FashionAI.Fashion is the AI creative suite for the fashion industry.YC S20Los AngelesStartup →AIAkiflowAll your tasks and calendars into an AI-powered productivity appYC S20CTStartup →AIAcquiredAquarium LearningWe help ML teams improve their models by improving their datasetsYC S20San FranciscoStartup →AIAtomicAPI that lets companies embed investment accounts into their servicesYC S20San FranciscoStartup →Developer toolsInactiveAtomizedEnabling teams to deploy without needing a cloud expertYC S20CharlotteStartup →
Company
adynThe first test designed to prevent birth control side effectsteam of 7hiringActiveAI
AI.FashionAI.Fashion is the AI creative suite for the fashion industry.team of 11InactiveAI
AkiflowAll your tasks and calendars into an AI-powered productivity appteam of 18hiringActiveAI
Aquarium LearningWe help ML teams improve their models by improving their datasetsteam of 12acquiredAcquiredAI, Devtools
AtomicAPI that lets companies embed investment accounts into their servicesteam of 25hiringActiveAI
AtomizedEnabling teams to deploy without needing a cloud expertteam of 3InactiveDevtools

About Formal

YC batch
S20 · Summer 2020
Status, per YC
Active
Category
Other
Team size
10
Location
San Francisco, CA, USA; New York, NY, USA; Remote
Checked
7h ago

YC tags: Cybersecurity

Changes seen

StageOct 26, 2026

Stage changed from Early to Growth.

Source ↗
StageOct 22, 2026

Stage changed from Growth to Early.

Source ↗

Formal in S20: 209 companies, 28% AI

Formal: questions

Which YC batch was Formal in?

Formal was in Y Combinator's Summer 2020 batch (S20).

Is Formal still active?

Y Combinator lists Formal as active.

Where is Formal based?

Formal lists San Francisco, CA, USA; New York, NY, USA; Remote as its location on YC's directory.