formae
by Platform Engineering Labs
An open-source Infrastructure-as-Code platform that treats live infrastructure reality, not separate state files, as the source of truth, automatically discovering and codifying existing resources. Multi-cloud since early 2026.
Last verified: July 2026
Overview
formae is an open-source Infrastructure-as-Code platform from New York-based Platform Engineering Labs, announced on October 22, 2025. It is positioned as a rethink of the IaC model pioneered by Terraform, with the central idea that the live state of your infrastructure, rather than a separate state file, should be the source of truth.
How It Works
formae operates in two modes: a reconcile mode that aligns your desired environment with production reality, and a patch mode that applies incremental changes. It automatically discovers and maps running resources across a cloud estate, regardless of whether they were created by Terraform, OpenTofu, Pulumi, manual console operations, or legacy scripts. Its agent-based architecture decouples state management from clients, and configuration is written in PKL, the configuration language originally developed by Apple.
Open Source and Licensing
The project is published under a Functional Source License and is available on GitHub, with community discussion happening on Discord. That makes it free to adopt, though the Functional Source License is a source-available license rather than a standard OSI-approved open-source license, which some teams will want to evaluate before committing.
Who It's For
formae appeals to platform engineers frustrated by state-file drift and by infrastructure that was created outside of code. Its automatic discovery is the standout differentiator. The main trade-offs are maturity and the choice of PKL over HCL, so it is best suited to teams willing to bet on a new approach rather than those who need the deep community support and ecosystem of established tools.
Pros
- + Treats real infrastructure state as the source of truth instead of state files
- + Automatically discovers and codifies resources created by any tool or manual ClickOps
- + Reconcile and patch modes for full or incremental changes
- + Agent-based architecture decouples state management from clients
- + Open source and free to adopt
Cons
- - Uses Apple's PKL configuration language instead of familiar HCL
- - Very new with a small community and ecosystem
- - Competing against mature
- - entrenched tools
- - Functional Source License is not a standard OSI-approved license
What Users Actually Complain About
Adoption requires learning PKL instead of HashiCorp Configuration Language, which some practitioners view as a barrier. Multi-cloud support (GCP, Azure, OCI, OVHcloud) was added in beta on January 28, 2026, expanding beyond the initial AWS-only launch (October 2025) — non-AWS providers are still beta. As a recently launched tool it has a small community, limited third-party integrations, and a short production track record.
Skip it if:
You need a battle-tested tool with a large community, extensive provider ecosystem, and long production history, or your team is unwilling to adopt PKL over HCL. Organizations that require a strictly OSI-approved open-source license should review the Functional Source License terms first.
Based on community feedback from Reddit, HN, and G2 reviews.
Frequently Asked Questions
What is formae?
An open-source Infrastructure-as-Code platform that treats live infrastructure reality, not separate state files, as the source of truth, automatically discovering and codifying existing resources. Multi-cloud since early 2026.
How much does formae cost?
formae uses a open source pricing model with plans starting at Free (open source, Functional Source License).
What are the main advantages of formae?
The key advantages of formae include: Treats real infrastructure state as the source of truth instead of state files; Automatically discovers and codifies resources created by any tool or manual ClickOps; Reconcile and patch modes for full or incremental changes; Agent-based architecture decouples state management from clients; Open source and free to adopt.
What are the drawbacks of formae?
Some limitations to consider: Uses Apple's PKL configuration language instead of familiar HCL; Very new with a small community and ecosystem; Competing against mature; entrenched tools; Functional Source License is not a standard OSI-approved license.
What category does formae belong to?
formae is a IaC tool developed by Platform Engineering Labs.
IaC Guides
Best Infrastructure as Code Tools 2026
Best ToolsDiscover the best Infrastructure as Code tools for 2026. Compare Terraform, Pulumi, AWS CDK, Ansible & more with pricing & expert insights.
How to Choose an IaC Tool for Your Infrastructure
How to ChooseComplete guide to choosing the right Infrastructure as Code tool for your team. Compare Terraform, Pulumi, Ansible, AWS CDK, and more with expert insights.
Try formae
Starting at Free (open source, Functional Source License)
Other IaC Tools
View all 22 tools →Ansible
Red Hat
Ansible is an open-source automation platform that simplifies complex IT tasks through agentless configuration management, application deployment, and...
Atlantis
Runatlantis (Open Source)
Atlantis is an open-source tool for automating Terraform via pull requests.
AWS CDK
Amazon Web Services
AWS Cloud Development Kit (CDK) is an Infrastructure as Code framework that allows developers to define cloud infrastructure using familiar programming...
Brev.dev
NVIDIA (formerly Brev.dev Inc.)
A cloud development environment platform for instant, reproducible GPU dev environments. Acquired by NVIDIA in 2024 and now offered as NVIDIA Brev.