Backend services are currently offline while we apply security updates related to the recent React/Next.js vulnerability. The demo will be fully available again by 11/12/2025.

From Prompt to Verified Terraform

AGX applies static verification to guarantee LLM plan correctness, resulting in safe code generation that outperforms agentic approaches.

This web app shows an early prototype version of the engine. An updated version with advanced features will power an open-source CLI (Q1 2026).

Describe your infrastructure...

Output

About the Engine

Live in this Demo:

Guarantees correct tool usage, valid inputs, and sequential logic. Unlike standard agents that "guess and fix," AGX verifies the plan structure before compiling a single line of code.

Open Source CLI (Q1 2026):

Powered by a custom 12B model with more robust graph-based validation. Extends capabilities to live state detection and drift prevention, plus security & compliance policies. Includes native dry-run and rollback commands for safe production integration.

Available tools (demo subset):

set_bucket_name
create_aws_s3_bucket
aws_s3_bucket_public_access_block
save_hcl_to_file

Try: "Deploy a private S3 bucket named agx-demo and save to main.tf"

AGX CLI (private alpha)

Cloud Engine: Powered by a custom 12B model.
Local Execution: Your AWS credentials never leave your machine.
Open Source: Fully auditable CLI code (coming Q1).

Built by Ammar Qureshi, Founder of AGX