TablePlus
Modern, native client with intuitive GUI tools to create, access, query & edit multiple databases: MySQL, PostgreSQL, SQLite, Microsoft SQL Server, Amazon Redshift, MariaDB, CockroachDB, Vertica, Cassandra, Snowflake, Oracle, Redis.
Learn more
dbKoda
dbKoda’s rich code editor allows you to compose MongoDB queries and scripts with syntax highlighting, auto-complete and code formatting. View output in foldable JSON, tabular format or as a chart. Generate visual explain plans with a single click. The explain plan viewer will suggest indexes that may improve performance, and provide one-button creation of those indexes. Build simple queries or complex aggregates using the graphical query builder. dbKoda lets you perform administrative activities using fil-in-the-blanks actions from the database tree. Manage configuration, user roles, logging, database storage, and data import/export without having to lookup obscure MongoDB syntax. We construct the appropriate commands as you fill-in-the-blanks, so you can re-use the command in admin scripts or tweak the syntax as desired. dbKoda includes an SSH terminal that allows command line access to the server OS, so you can issue OS commands directly from within the dbKoda product.
Learn more
VisuaLeaf
VisuaLeaf is a cross-platform database GUI for MongoDB, PostgreSQL, MySQL, SQL Server, and Oracle. It helps developers explore and edit data, build queries and MongoDB aggregation pipelines visually, create and reverse-engineer schema diagrams, manage indexes, analyze query performance, and work with an integrated MongoDB shell and SQL editor. VisuaLeaf also includes collection comparison, data synchronization, task automation, data masking, import and export tools, charts, dashboards, user management, and secure SSH and SOCKS5 connections. It is available for Windows, macOS, and Linux.
Learn more
Formal
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.
Learn more
