The Vision
A language where you write what software should do, and prove that it does.
Intent is the first Intent-Oriented Programming language for the AI era. It is built on a simple bet: as AI writes more code, the leverage moves to whoever can state intent clearly and verify it faithfully.
For decades, programming has meant committing to how before we have fully agreed on what. The intent behind a system (its goals, constraints, and guarantees) ends up scattered across code, comments, tickets, and the memory of whoever was in the room.
AI has changed the pace but not the problem. Models can now generate code faster than any team can read and review it. Speed without a clear, verifiable statement of intent is how software quietly drifts away from what it was meant to do.
Intent flips the order. You describe what the software should do, why it exists, which constraints matter, and how it should be verified. AI and the compiler help determine how to build it, while the contracts you wrote keep everyone, human and machine, honest.
Intent is the most valuable artifact
The scarcest thing in software is a clear, durable record of what the system is supposed to do and why. Code captures the how; intent is usually lost. Intent-Oriented Programming makes that record the primary source.
AI changes the economics of code, not of understanding
Generating code is becoming cheap. Understanding, trusting, and owning it is not. When machines write more, humans need better ways to state and verify what should be true.
Verification belongs in the language
Guarantees should live next to intent, not scattered across tests and tickets. When contracts are first-class, tools can check that implementation and intent actually agree.
Engineers stay the owners
Intent is not about handing control to a model. It is about giving engineers a clearer, more defensible way to express, review, and own the software they are responsible for.
What we are not claiming
Intent is early. It is not production-ready, it is not magic, and it does not claim to outperform Rust, Go, Python, Java, TypeScript, or .NET today. It targets those languages and aims to make the intent behind your software explicit, reviewable, and verifiable.