Formal
San Francisco, US · 5 known investors
Find your way into Formal
Sign up to see every warm intro you have to Formal
- Paths you didn't know you had: your email and LinkedIn already hold routes to the Formal team. We find them for you
- 2nd- and 3rd-degree connections: the friend-of-a-friend routes that take hours to manually find through your inbox or LinkedIn
- Answers now, not in days: momentum is everything in a raise. Skip asking around whether someone knows someone
Days of research, done the moment you sign in, with every route ranked by how warm it is.
Formal builds a stateless proxy binary that enforces least-privilege access control across 15+ wire protocols (Postgres, MySQL, MongoDB, Snowflake, SSH, Kubernetes, HTTP, MCP, and others), handling authentication, policy evaluation, data masking, and query auditing. Deployed inside a customer's VPC, it targets security and infrastructure teams controlling access to data systems, APIs, and AI agents.
Investors · 5
Abstract Ventures✓ confirmed by FormalSan Francisco · $250K – $750K
How we know: the company's own site · Not right? Tell us
Thrive Capital✓ confirmed by FormalNew York · $500K – $25M
How we know: the company's own site · Not right? Tell us
Frequently asked questions
- What does Formal do?
- Formal builds a stateless proxy binary that enforces least-privilege access control across 15+ wire protocols (Postgres, MySQL, MongoDB, Snowflake, SSH, Kubernetes, HTTP, MCP, and others), handling authentication, policy evaluation, data masking, and query auditing. Deployed inside a customer's VPC, it targets security and infrastructure teams controlling access to data systems, APIs, and AI agents.
- Who are Formal's investors?
- Formal's investors include Abstract Ventures, Definition, Thrive Capital, Y Combinator, Basis Set Ventures.
- Where is Formal headquartered?
- Formal is headquartered in San Francisco, US.



