# What is intent compilation in Provely?

> The step that turns a task in natural language into a completion contract. The Provely definition, with an example.

Canonical: https://provely.sh/glossary/intent-compilation  
Last reviewed: 2026-09-05  

**Intent compilation turns a task in natural language into a completion contract. The caller passes the prompt, the context and the tools. The compiler returns the steps, the evidence, the correlation keys and the negative postconditions.**

The caller never writes the contract. A language model may propose it. The contract decides completion, and a language model judgement is never completion evidence. Read [intent compilation](/docs/intent-compilation).

## Read next

- [Read the definition of Intent](https://provely.sh/glossary/intent)
- [Read the definition of Completion contract](https://provely.sh/glossary/completion-contract)
- [See every glossary term](https://provely.sh/glossary)
- [Read how Provely works](https://provely.sh/how-it-works)