FO

Formal

YC S20

San Francisco, US · Founded 2022 · 10 employees · 2 known investors

joinformal.com ↗

Formal provides a proxy-based access control platform that enforces least privilege authentication and authorization across data infrastructure protocols including databases, APIs, and AI agents. The company serves security and infrastructure teams seeking to control access at the query level across multiple protocols.

Founders & leadership· Y Combinator alumni (S20)

Mokhtar BachainFounder

Investors · 2

Y

Y Combinator✓ verifiedSan Francisco · $500K – $500K

TH

Thrive Capital✓ verifiedFort Washington