Invar

From AI-generated to AI-engineered code.

Invar brings decades of software engineering best practices to AI-assisted development.
Through automated verification, structured workflows, and proven design patterns,
agents write code that's correct by construction—not by accident.

### What It Looks Like An AI agent, guided by Invar, writes code with formal contracts and built-in tests: ```python from invar_runtime import pre, post @pre(lambda items: len(items) > 0) @post(lambda result: result >= 0) def average(items: list[float]) -> float: """ Calculate the average of a non-empty list. >>> average([1.0, 2.0, 3.0]) 2.0 >>> average([10.0]) 10.0 """ return sum(items) / len(items) ``` Invar's Guard automatically verifies the code—the agent sees results and fixes issues without human intervention: ``` $ invar guard Invar Guard Report ======================================== No violations found. ---------------------------------------- Files checked: 1 | Errors: 0 | Warnings: 0 Contract coverage: 100% (1/1 functions) Code Health: 100% ████████████████████ (Excellent) ✓ Doctests passed ✓ CrossHair: no counterexamples found ✓

Agents

Invar