What is intent compilation in Provely?

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.