+
+

Related Products

  • cside
    37 Ratings
    Visit Website
  • SOCRadar Extended Threat Intelligence
    115 Ratings
    Visit Website
  • Dynamo Software
    71 Ratings
    Visit Website
  • FinOpsly
    3 Ratings
    Visit Website
  • DbVisualizer
    583 Ratings
    Visit Website
  • Google Cloud BigQuery
    2,017 Ratings
    Visit Website
  • KrakenD
    71 Ratings
    Visit Website
  • Daylight
    10 Ratings
    Visit Website
  • Control D
    183 Ratings
    Visit Website
  • Athena Security
    5 Ratings
    Visit Website

About

Formal is a protocol-aware reverse proxy that secures access to databases, APIs, infrastructure, and AI tools by enforcing least privilege at the wire-protocol level. Deployed as a single stateless binary in a VPC through Terraform, Kubernetes, or Docker, it sits between identities and resources without application changes, SDKs, or agents. Formal parses more than 15 protocols, including PostgreSQL, MySQL, MongoDB, Snowflake, SSH, Kubernetes, HTTP, MCP, S3, Redis, RDP, BigQuery, ClickHouse, and DynamoDB, allowing query-level decisions instead of generic network filtering. Policies can authenticate and authorize users, mask or filter fields, rewrite requests, block actions, require MFA, quarantine sessions, suspend access, or support impersonation across session, request, and response stages. Teams can secure AI agents and MCP servers by stripping PII before it reaches a model, blocking unauthorized tool calls, and auditing every action.

About

The Percona Kubernetes Operator for Percona XtraDB Cluster or Percona Server for MongoDB automates the creation, alteration, or deletion of members in your Percona XtraDB Cluster or Percona Server for MongoDB environment. It can be used to instantiate a new Percona XtraDB Cluster or Percona Server for MongoDB replica set, or to scale an existing environment. The Operator contains all necessary Kubernetes settings to provide a proper and consistent Percona XtraDB Cluster or Percona Server for MongoDB instance. The Percona Kubernetes Operators are based on best practices for configuration and setup of a Percona XtraDB Cluster or Percona Server for MongoDB replica set. The benefits of the Operator are many but saving time and delivering a consistent and vetted environment is key.

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Audience

Security engineering teams at AI-native enterprises that need granular access control and auditing across data, infrastructure, and autonomous agents

Audience

IT teams

Support

Phone Support
24/7 Live Support
Online

Support

Phone Support
24/7 Live Support
Online

API

Offers API

API

Offers API

Screenshots and Videos

Screenshots and Videos

Pricing

No information available.
Free Version
Free Trial

Pricing

Free
Free and open-source
Free Version
Free Trial

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Reviews/Ratings

Overall 4.6 / 5
ease 3.6 / 5
features 3.8 / 5
design 3.8 / 5
support 4.2 / 5

Pros & Cons from Real Users

Pros

  • I like the system overall performance, easy to load and access features. Secondly, support is provides necessary information in time
  • It's very easy to use and can do fast deployment. Reliable and fully automated with high available DB lifecycle management solution.
  • Great tool to simplify complex Kubernetes deployments, Percona XtraBackup enables synchronous multi-primary replication.
  • Easy and fast deployment. A reliable, fully automated, high-available db lifecycle management solution. As they say "The Operator simplifies the deployment and management of the Percona XtraDB Cluster in Kubernetes-based environments", 100% accurate!
  • It is very handy in single region cluster scenario like single EKS or GKE cluster. You have proxysql or haproxy configured which I like very much.

Cons

  • Verification of an account takes long and only verified accounts can access all services
  • No cons, Deployment and management are excellent and 100% accurate!
  • The tool is new and isn't very flexible if moving form an existing technology so it would be better to check compatibility before using this.
  • Percona XtraDB Cluster have some differences compared to "traditional" MySQL solution, so be sure to check these out before implementing the technology. We had some hard times trying to use it combined with pre-existing techs like WordPress, Magento, etc. Also the k8s environment features can have an impact on it, like the storage solutions. Be sure to match the requirements with the specific use case.
  • I tried to use in multi region clusters but it does not support it. So I had to setup everything without operator on more than one cluster.

Training

Documentation
Webinars
Live Online
In Person

Training

Documentation
Webinars
Live Online
In Person

Company Information

Formal
United States
formal.ai/

Company Information

Percona
Founded: 2006
USA
www.percona.com/software/percona-kubernetes-operators

Alternatives

Alternatives

Mitzu

Mitzu

Mitzu.io

Categories

Categories

Container Management Features

Access Control
Application Development
Automatic Scaling
Build Automation
Container Health Management
Container Storage
Deployment Automation
File Isolation
Hybrid Deployments
Network Isolation
Orchestration
Shared File Systems
Version Control
Virtualization

Integrations

MongoDB
MySQL
Amazon DynamoDB
Amazon S3
ClickHouse
Datadog
Docker
Google Cloud BigQuery
Kubernetes
MayaData
Model Context Protocol (MCP)
Percona Backup for MongoDB
Percona XtraDB Cluster
PostgreSQL
Pulumi
Redis
Snowflake
Splunk Cloud Platform
Terraform

Integrations

MongoDB
MySQL
Amazon DynamoDB
Amazon S3
ClickHouse
Datadog
Docker
Google Cloud BigQuery
Kubernetes
MayaData
Model Context Protocol (MCP)
Percona Backup for MongoDB
Percona XtraDB Cluster
PostgreSQL
Pulumi
Redis
Snowflake
Splunk Cloud Platform
Terraform
Claim Formal and update features and information
Claim Formal and update features and information
Claim Percona Kubernetes Operator and update features and information
Claim Percona Kubernetes Operator and update features and information