Governed AI coding · prove, don't show

The agentic workspace
you can prove.

Reef is an open, governed IDE for AI coding agents. Every action is tamper-evidently recorded, independently verifiable, and reversible — so you can trust what the agent did, not just hope. Your keys, your data, no lock-in.

Verify it live Talk to us

Early and building in the open. The control plane is already live and verifiable.

verify ✓ ledger intact · store-untrusting · replay reproduces
tamper → red change one byte of any record → verification fails, loudly
Why Reef

Four things incumbents don't give you.

AI writes more of your code every week. Reef makes that safe to trust — by making it provable, stoppable, honest, and reversible.

Verifiable, not vibes

Every observation, edit, and decision becomes a link in a tamper-evident chain. verify re-checks it without trusting the store — green when intact, red on a single altered byte.

evidence chain · store-untrusting

Governance that can say no

A fail-closed acceptance gate sits between the agent and your repo. Unreviewed or dangerous changes are denied — and the denial is recorded as evidence, not silently dropped.

fail-closed gate · acceptance seam

Honest economics

Bring your own key — no markup, no resale. Usage is real and API-sourced, labeled by where the number came from. No invented "0 / 50 credits" meter.

BYOK · real, sourced usage

Replayable & attributable

Reproduce any session byte-for-byte. A Worker Ledger records who did what. Export an audit pack mapped to SOC 2, ISO 42001, and EU AI Act trail requirements.

replay · worker ledger · audit pack
One stack, every surface

Same governance, wherever you work.

One philosophy — governed, verifiable, yours — running across the whole lifecycle. Start in the terminal, move to the IDE, review on the web.

CLI
governed sessions from your terminal
IDE
a signed Code-OSS distribution
Web
start & verify in the browser
Control plane
a gateway you can verify, too
The difference

Others show you output. Reef lets you prove it.

Typical AI IDE

  • ✕ Trust the tool's word that it did the right thing
  • ✕ Opaque credit meter you can't audit
  • ✕ Your code and keys flow through someone else's cloud
  • ✕ An unreviewed agent change ships to prod

Reef

  • ✓ Re-verify every step yourself, without trusting the store
  • ✓ Real usage, sourced and labeled — BYOK, no markup
  • ✓ Local-first; your keys and data stay yours
  • ✓ The gate denies it and records why
Prove, don't show

See a claim? Verify it.

The control plane is live right now. Hit verify and watch it re-check its own ledger — the same check that turns red the instant anything is altered.

Verify the live gateway Get in touch