December 19, 2025
December 17, 2025
Nov 27, 2025
0.4.4
Changed- It is no longer required to specify a resource name with
formal disconnect. By default, it disconnects all resources.
November 24, 2025
0.4.3
New- Added support for Windows.
- Added support for wrapping AWS S3 commands to funnel traffic through the Connector.
- Change SSH config configuration to be compatible with SCP via the Connector.
- Change SSH config configuration to be use resource names as SSH host names.
0.4.2
Fixed- Fixed a build issue where the desktop app would not provide an icon on Linux .deb packages.
September 8, 2025
August 25, 2025
0.2.5
New- Implemented pagination of resources to reduce startup delay of
formal ls.
- Reworked connecting/disconnecting to resources to be asynchronous, which prevents a connection from blocking the TUI from rendering.
- Fixed a bug where the desktop app would show multiple instances of the same resource while filtering and connecting.
- Fixed a bug where the autolaunch functionality could freeze the TUI.
August 22, 2025
0.2.4
New- Added support for using token authentication in headless mode.
- Introduced a configurable timeout for the
formal agentcommand with--timeout.
- Changed the
formal lscommand to lazily load resources and show a loading spinner instead of blocking the TUI from launching.
August 21, 2025
0.2.3
New- Added a
formal agentcommand to launch the Formal Agent through the CLI. - Added a headless mode, which can be launched through
formal agent --headlessand allows usage of the Formal Desktop without a GUI. See the documentation for more details.
August 20, 2025
0.2.2
New- Added the ability to open a
psqlsession automatically when connecting to a PostgreSQL resource throughformal ls. - Added a permanent “latest” URL to download the latest version of the desktop app on Linux.
- Fixed a bug where the desktop app could become unresponsive when connecting to a resource.
August 14, 2025
May 20, 2025
0.1.0
New- Added support for configuring the SSH client (i.e.,
~/.ssh/config) to more seamlessly connect to SSH, EC2, and ECS Fargate resources using theformal lsUI
March - April 2025
0.0.91
Fixed- Fixed versioning issue
0.0.90
Fixed- Fixed versioning issue
0.0.89
New- Added a link to download the latest version of the desktop app if an update is available
0.0.88
Changed- Ensured errors are printed to
stderrrather thanstdoutto provide a clean output stream to users
0.0.87
New- Exposed certain classes of connection errors between the local proxy and the Formal Connector to users
January - February 2025
0.0.86
Fixed- Fixed authentication failures
0.0.85
New- Added support for using
formal@<native-user>as the username to specify the native user
0.0.84
New- Added support for
jsonoption toformal auth credentials -o
0.0.83
New- Added support for
jsonoption toformal auth credentials -o
0.0.82
Fixed- Avoided crashing on EOF for
postgres
0.0.81
Fixed- Fixed desktop app auth status
2024 Releases
0.0.80
Fixed- Fixed desktop app auth status
0.0.79
New- Added support for MongoDB smart routing
0.0.78
Fixed- Fixed typo in error message
missing S3 resource name
0.0.77
New- Added support for TCP Proxy and Relays
0.0.75
Changed- Removed the use of AWS profile
0.0.74
Changed- Removed the use of AWS profile
0.0.73
Changed- Added more efficient routing
0.0.72
Fixed- Fixed support for
dynamodb
0.0.71
New- Added resource subdomain to Kubernetes resources for connectors
0.0.70
New- Added support for connectors
0.0.69
New- Added support for basic auth for
clickhouse
0.0.68
New- Added resource to policy evaluation
0.0.67
Changed- Updated desktop app to renew key every 18 hours
0.0.66
New- Added support for connector in policy evaluation
0.0.65
Changed- Updated log message for fetchCABundle
0.0.64
Changed- Added more logs to the
dynamodbcommand
0.0.63
Changed- Removed posthog
0.0.62
Fixed- Fixed AWS CLI
0.0.61
Fixed- Fixed AWS CLI
0.0.60
New- Added AWS CLI to building process
0.0.59
New- Added support for certificate bundle
dynamodb
0.0.58
New- Added support for API Token expiration