Open-source Infrastructure as Codefor humans in the AI era
Stop pretending your Infrastructure-as-Code repository describes reality. formae captures out-of-band changes continuously and lets you evolve infrastructure through code at any granularity.
- No drift
- Minimal blast radius
- Always-current code
- Full control
Get started in minutes.
Featured in
Infrastructure, before and after formae
State & drift fight? 
Break free! 
IaC, as it should be
Always-current infrastructure model
formae continuously discovers and synchronizes infrastructure across your entire estate - cloud, clusters, and beyond. It maintains an always-current model of what’s running and becomes the system of record without requiring migrations or mandates.
Changes at any granularity
formae evolves infrastructure safely, from full rollouts down to single property updates, all expressed as code. It applies precise changes with minimal blast radius while schemas and constraints keep environments predictable and reduce cognitive load.
Extensible and usable by anyone
formae is highly extensible and provides clear abstractions that make infrastructure accessible beyond infrastructure specialists. Engineers and AI systems can safely extend and evolve infrastructure as systems grow.
No mandates. No migrations
formae can be introduced without replacing existing Infrastructure as Code or operational tooling. It runs alongside your current systems, continuously discovering infrastructure and enabling incremental evolution.
No hacks. No workarounds.
formae gives you full control over your infrastructure model. Define your own schemas, shape infrastructure to match your mental model, and encode best practices directly into code. Build plugins, create abstractions, and expose simple interfaces for others - all without breaking safety or consistency.
Keep what works. Move at your own speed.
formae works with what you already have. Your team's knowledge and your existing Terraform and Helm keep their value, whatever is running gets codified in minutes, and AI works from a short primer and one MCP. Nothing is mandated and nothing is rewritten.
How formae works: two loops, one infrastructure
Reconciliation loop
Infrastructure code declares the intended system. Changes flow through the infrastructure model and reconcile the running infrastructure based on the resulting diff, compatible with GitOps workflows.
Extract - patch loop
formae continuously maintains an always-current model of infrastructure. Engineers can extract code from the running system and evolve infrastructure through precise patches applied through the model, both at any granularity.
Write simple, safe infrastructure code
Powered by the Pkl language
formae uses Pkl to model infrastructure with schemas, constraints, and reusable abstractions. Pkl provides a clear and unambiguous way to express configuration, so infrastructure code stays simple to understand and safe to evolve. The result is code that humans can read at a glance and AI systems can generate and modify with precision.
Used to manage real infrastructure
"Every enterprise tries to do Platform Engineering and at the end only abstract infrastructure with Backstage, then fights maintaining it. formae solved this differently with native IaC abstraction that just works. No portal to build, no catalogs to sync. Exactly what our customers need."
Michael MuellerCTO re:cinq"I used to shudder when a client would say they wanted to IaC their 10-year-old, click-ops created production environment. formae now makes this possible. I was able to accomplish this exact requirement using formae. The tool is easy to work with and the team at Platform Engineering Labs is highly accessible and eager to help. formae is now an integral part of my toolkit."
Carson WilliamsDirector Cloud Operations, Goods & Services"formae is designed for developers and platform engineers from the ground up. While this is a crucial pattern, formae doesn’t just move complexity from dev to ops - it truly helps achieve reduced cognitive load for both developers and operations teams by abstracting the complexity on both sides in modern cloud-native environments."
Marc SchnitziusPlatform Engineering Lead at codecentric"formae is a significant evolutionary leap forward in both devops and software development. It represents a shift in thinking as fundamental as source control, as practical as package management, and as vital as Observability. formae's impact will extend beyond improving the lives of DevOps and Engineering teams to creating lasting and reliable value for businesses and their customers."
Harry BrumleveFounder of strategic technology firm Thoughtful Software„The best time to sunset Terraform was 5 years ago, the second best time is now. Significant time was invested into making the situation better for teams dealing with infrastructure, and formae is approaching the problem in a way that makes it super convenient for teams to get started, yet stay in control.“
Stefan StaudenmeyerRetail tech lead & infrastructure practitioner"formae keeps infra management simple. It’s super easy to get started with, and you don’t need to wrestle with overly complex state management like other IaC tools. What I love most is how it adapts to reality instead of pretending the world is perfect. It picks up changes made outside the tool, merges them cleanly, and keeps your infrastructure code as the actual source of truth. That’s a big deal when you're debugging weird issues or need to understand what’s really running at 3am."
Anthony MorenoSeasoned On-Call Veteran"What I saw from the team was a perfect analysis and on point to the problems we‘ll have in platform engineering in the upcoming months and years - if we don’t change. Therefore I couldn’t be more excited to apply in practice what the team just launched!"
Alexander HeusingfeldVice President Tech Strategy @ Vorwerk Group"I really like that Platform Engineering Labs is rebooting the space that is totally important for the modern IT, but is very prone to error and deprived of innovation for decades."
Mirco KaterInformation Security Officer at Ona"This platform could be a major breakthrough in managing infrastructure in software projects. It allows both easier services management, dependency discovery and gives engineers a new way to collaborate."
Robert RychlikDirector of Technology, TipicoFrequently asked questions
Get in TouchWhat happens to everything my team and I know?
Build on it. Put it to work. Your knowledge is gold, and you need it. But you don't need the toil other tools throw at you. And you don't need to learn hidden semantics and provider misbehavior.
What about the infrastructure we inherited, patched, and never fully documented?
Discover it. Evolve it. Automatically codify what is really running in minutes and make minimum-blast-radius changes right away - no manual inventory, imports, or cleanup needed.
What about all the Terraform and Helm we already have?
Keep it. Reuse it. Use existing Helm charts and Terraform values quickly, then move at your own pace.
Doesn't AI know other tools better?
Show it formae. Put it to work. A short primer, a few skills, one MCP - and AI helps make safe, high-impact changes fast.
Is there a migration risk?
Run side by side. Move gradually. Start small with one resource, one property, or one chart. No mandates. No rewrites.
Ready to try formae?
Start using formae in minutes, or talk to us about running it at scale.