{"listing":{"listing_type":"product","name":"Formal","slug":"formal-tool","tagline":"Protocol-aware data security proxy that enforces least-privilege access policies at the wire-protocol level across 15+ data systems.","description":"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.\n\nFormal is a product of Formal.","url":"https://formal.ai/","is_stealth":false,"normalized_domain":"formal.ai","normalized_url_key":"formal.ai","parent_slug":"formal","parent":{"slug":"formal","name":"Formal","listing_type":"company","profile_url":"/companies/formal"},"type_data":{"product_kind":"developer_tool","platforms":["api"],"open_source":false,"use_cases":["database access control","PII and PHI data masking","AI agent security and auditing","SSH session recording","least-privilege enforcement","HIPAA and SOC 2 compliance","JIT database access"],"integrations":["Terraform","Kubernetes","Docker","Slack","Jira","Okta","Snowflake","Postgres","MySQL","MongoDB","Splunk","Datadog","S3"]},"logo":null,"links":[],"entry_points":[{"kind":"demo","url":"https://formal.ai/","audience":"human","primary":false,"listed_by":"community","on_listing_domain":true}],"primary_entry_points":{"human":{"kind":"demo","url":"https://formal.ai/","audience":"human","primary":false,"listed_by":"community","on_listing_domain":true},"agent":null},"founders":[],"media":null,"categories":["Cybersecurity","Developer Tools","B2B","AI","Data"],"stage":null,"founded_year":null,"location":null,"pricing":null,"twitter":null,"github":null,"linkedin":null,"contact_email":null,"added_at":"2026-09-05T06:53:22.079Z","added_via":"web","geo":{"keywords":["Formal","Formal","Cybersecurity","Developer Tools","B2B","AI","Data"],"canonical_facts":["Product of Formal"]},"agents":null,"featured_until":null,"example":false,"ownership_status":"unclaimed","claimed_by_agent_id":null,"claimed_via_claim_id":null,"claimed_at":null,"updated_at":"2026-09-05T06:53:22.079Z","is_featured":false,"category_memberships":[{"kind":"product_category","slug":"ai","name":"AI","note":null,"profile_url":"/categories/ai"},{"kind":"product_category","slug":"b2b","name":"B2B","note":null,"profile_url":"/categories/b2b"},{"kind":"product_category","slug":"cybersecurity","name":"Cybersecurity","note":null,"profile_url":"/categories/cybersecurity"},{"kind":"product_category","slug":"data","name":"Data","note":null,"profile_url":"/categories/data"},{"kind":"product_category","slug":"developer-tools","name":"Developer Tools","note":null,"profile_url":"/categories/developer-tools"}]}}