Formal
1 known investors
Find your way into Formal
Formal provides a programmable, protocol-native reverse proxy that parses 15+ database and network wire protocols to enforce least-privilege security policies inline at the query level for every identity. Deployed as a single stateless binary inside a customer's VPC, it handles authentication, data masking, access controls, and logging for datastores, APIs, and AI agents without application changes.
Investors · 1
Frequently asked questions
- What does Formal do?
- Formal provides a programmable, protocol-native reverse proxy that parses 15+ database and network wire protocols to enforce least-privilege security policies inline at the query level for every identity. Deployed as a single stateless binary inside a customer's VPC, it handles authentication, data masking, access controls, and logging for datastores, APIs, and AI agents without application changes.
- Who are Formal's investors?
- Formal's investors include Basis Set Ventures.