Developer preview · Apple silicon

Know the terms
before the work begins.

Verate turns uncertain machine intelligence into bounded, purchasable, verified work—inside a real coding workspace.

v0.1.0 · Apple Silicon · Developer preview

src/App.tsxTypeScript React

type ExecutionPolicy = {
  budget: number
  speed: 'flexible' | 'fast'
  assurance: 'standard' | 'high'
}

const contract = quote(work, policy)
await authorize(contract)
return verify(result, contract.proof)

AUTO Economy $0.20 cap·Flexible·High

Build, debug, or change code

＋○ Full accessQuote before execution ↑

Scope before routing.

A task becomes an execution contract before any provider is selected. Models compete inside your constraints—not the other way around.

Economics you control.

Choose a hard budget, deadline, assurance level, local-first policy, escalation rights, and eligible providers from one compact control.

Completion needs evidence.

Receipts preserve the route, elapsed time, result, changes, and proof command. A run is complete only when its declared proof passes.

The primitive

Not a model picker. A market and settlement layer for machine work.

Verate begins as a coding platform because repositories already contain testable work, observable changes, and strong proof surfaces. The same contract can expand to browser work, files, research, and connected tools.

Verate v0.1.0

Build with bounded intelligence.

Apple Silicon developer preview. Includes the Verate editor, Codex adapter, quote authorization, economics controls, receipts, and proof-gated completion.

Download for Mac

Preview status

This is an early developer build, not a finished production release. It is Apple Silicon only and is not Apple-notarized. The Codex route requires the Codex CLI and an existing authenticated session. Open-model routing is present as an adapter path and still requires local OpenCode/OpenRouter configuration.

SHA-256: a17682bf0a5787cb7766a88b601c645b94013b09e5522bbdb480a9bd56a34f7c