/Companies

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

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.