ProductUnclaimedAIB2BCybersecurityDataDeveloper Tools

Formal

by Formal

Protocol-aware data security proxy that enforces least-privilege access policies at the wire-protocol level across 15+ data systems.

formal.ai

Community-submitted · content unverified. This organization has not verified ownership or the information in this profile.

About

Formal is a programmable reverse proxy that parses 15+ wire protocols (Postgres, MySQL, MongoDB, Snowflake, SSH, HTTP, MCP, Redis, RDP, Kubernetes, BigQuery, ClickHouse, DynamoDB, and more) and enforces security policies inline at the query level with sub-10ms overhead. It supports real-time data masking, nine policy actions, centralized access control with JIT provisioning via Slack and Jira, and full audit logging with cross-protocol search. Formal is deployed as a single stateless binary in the customer's VPC via Terraform, Kubernetes, or Docker. Formal is a product of Formal.

Website
formal.ai
Added via
web
Ownership
unclaimed

Where to go

For people

For agents

Nothing listed yet.

Product details

Product kind
Developer Tool
Open source
No

Platforms

api

Use cases

database access controlPII and PHI data maskingAI agent security and auditingSSH session recordingleast-privilege enforcementHIPAA and SOC 2 complianceJIT database access

Integrations

TerraformKubernetesDockerSlackJiraOktaSnowflakePostgresMySQLMongoDBSplunkDatadogS3

← Directory