YCS20· OtherFormal
Take control of your data in real-time.
ActiveChecked 16h ago
Founders
Not read from YC yet; the weekly run fills these in.
Same space
Competitors
Closest in what they build, same category.
ThinAirW15Intelligent data security for teamsShared: cybersecurityInactive
ProboX25We help you get compliant while you focus on your business.Shared: cybersecurityActive
SafeBaseS20Trust Center platform that scales customer security reviewsShared: cybersecurityAcquired
TelivyS21Automate your cyber security risk assessmentsShared: cybersecurityAcquired
Adjacent
Overlapping tags, a different niche.
Credal.aiW23The Control Plane for Enterprise AgentsShared: cybersecurityActive
ContextFortS25Visibility and Controls for Browser AgentsShared: cybersecurityActive
PromptArmorW24LLM Security and ComplianceShared: cybersecurityActive
- FuzzbuzzW19Fuzzing as a ServiceShared: cybersecurityAcquired
PalisadeS26AI that finds and fixes OS-level vulnerabilities across device fleetsShared: cybersecurityActive
Also from S20
Batchmates in Summer 2020.
adynS20The first test designed to prevent birth control side effectsActive
AI.FashionS20AI.Fashion is the AI creative suite for the fashion industry.Inactive
AkiflowS20All your tasks and calendars into an AI-powered productivity appActive
Aquarium LearningS20We help ML teams improve their models by improving their datasetsAcquired
AtomicS20API that lets companies embed investment accounts into their servicesActive
AtomizedS20Enabling teams to deploy without needing a cloud expertInactive
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.
Not affiliated with Y Combinator. From YC's public directory. Logos via logo.dev; trademarks belong to their owners.