Platform Engineering Labs Releases formae
October 22, 2025

Platform Engineering Labs announced the launch of formae, an open source infrastructure-as-code (IaC) platform designed to address fundamental insufficiencies of tools like Terraform.

formae automatically discovers and codifies an organization's entire environment, whatever its origin, into a single, unified source of truth. Every change is versioned code, every resource is tracked, and every engineer can contribute with confidence.

"We built formae out of our own pain," said Pavlo Baron, co-founder and CEO of Platform Engineering Labs. "It is the first platform that starts from reality, not from an idealized plan. It accepts even the messiest truth of any cloud environment and provides a safe, reliable way to evolve it. It's time to sunset Terraform and move forward."

formae delivers the following core capabilities that set it apart from other IaC offerings:

- Full Infrastructure-as-Code - engineers work with formae exclusively through code. Single resources or whole infrastructure stacks can be extracted, applied or destroyed in any granularity using persisted or ephemeral code artefacts called "formas."

- Automatic codification - formae transforms every infrastructure resource and every change into versioned, declarative code, eliminating infrastructure and state drift.

- Automatic discovery and synchronization - it continuously maps every running resource across your entire cloud estate, regardless of how it was created or modified.

- Patch-based changes with minimal blast radius – formae enables precise, incremental updates that reduce risk and improve reliability during infrastructure modifications.

- No explicit state management - State is reality itself, versioned in code and always up-to-date.

- Schema-safe and declarative - formae ensures environments are consistent and predictable, without unnecessary human error and labor.

- Agent-based - Change and state management is decoupled from the clients, allowing careful, asynchronous state convergence towards declared target state

- Extensible and open - A future foundation for a rich ecosystem of open-source and commercial plugins, integrations, and enterprise extensions

By unifying all resources, whether created via patches with minimal blast radius, Terraform, OpenTofu, Pulumi, ClickOps, or legacy scripts, formae provides platform teams with the ultimate benefit of managing infrastructure without fear of hidden drift, brittle state, or unrecoverable outages and is achieved entirely through what they love - code.

formae is released under the FSL license, ensuring immediate accessibility and full safety for the adopters, while enabling a sustainable commercial model. The open source release encourages community contributions, experimentation, and adoption at any budget level.

formae is available today on Github. The project is open for contributions, with community discussions hosted on Discord.

Share this

Industry News

November 06, 2025

Check Point® Software Technologies Ltd. announced it has been named as a Recommended vendor in the NSS Labs 2025 Enterprise Firewall Comparative Report, with the highest security effectiveness score.

November 06, 2025

Buoyant announced upcoming support for Model Context Protocol (MCP) in Linkerd to extend its core service mesh capabilities to this new type of agentic AI traffic.

November 06, 2025

Dataminr announced the launch of the Dataminr Developer Portal and an enhanced Software Development Kit (SDK).

November 05, 2025

Google Cloud announced new capabilities for Vertex AI Agent Builder, focused on solving the developer challenge of moving AI agents from prototype to a scalable, secure production environment.

November 05, 2025

Prismatic announced the availability of its MCP flow server for production-ready AI integrations.

November 05, 2025

Aptori announced the general availability of Code-Q (Code Quick Fix), a new agent in its AI-powered security platform that automatically generates, validates and applies code-level remediations for confirmed vulnerabilities.

November 04, 2025

Perforce Software announced the availability of Long-Term Support (LTS) for Spring Boot and Spring Framework.

November 04, 2025

Kong announced the general availability of Insomnia 12, the open source API development platform that unifies designing, mocking, debugging, and testing APIs.

November 04, 2025

Testlio announced an expanded, end-to-end AI testing solution, the latest addition to its managed service portfolio.

November 03, 2025

Incredibuild announced the acquisition of Kypso, a startup building AI agents for engineering teams.

November 03, 2025

Sauce Labs announced Sauce AI for Insights, a suite of AI-powered data and analytics capabilities that helps engineering teams analyze, understand, and act on real-time test execution and runtime data to deliver quality releases at speed - while offering enterprise-grade rigorous security and compliance controls.

October 30, 2025

Tray.ai announced Agent Gateway, a new capability in the Tray AI Orchestration platform.

October 30, 2025

Qovery announced the release of its AI DevOps Copilot - an AI agent that delivers answers, executes complex operations, and anticipates what’s next.

October 29, 2025

Check Point® Software Technologies Ltd. announced it is working with NVIDIA to deliver an integrated security solution built for AI factories.

October 29, 2025

Hoop.dev announced a seed investment led by Venture Guides and backed by Y Combinator. Founder and CEO Andrios Robert and his team of uncompromising engineers reimagined the access paradigm and ignited a global shift toward faster, safer application delivery.