Skip to main content
Local-first ADE
v0.20.1

Proof-carrying codefrom the terminal.

No review-ready diff without checks and a typed receipt. Phonton runs short goals with visible contracts, verifier gates, bounded context, and local memory — BYOK, proof-carrying, merge-gate discipline.

goalplaneditverifyreviewremember
phonton goal --with @src @github
Phonton workspace with goal, diff, verification, and handoff surfaces

~5.5k

verified

Provider tokens

node-config-bugfix · run 38

~4.8k

verified

Provider tokens

chess-web-v1 · run 38

0.28ms

Memory query

latency harness · run 38

Context

@file, @folder, @symbol, and @mcp mentions stay visible.

Proof

GoalContract, verifier output, and HandoffPacket travel together.

Memory

Local snapshots preserve useful state without hiding history.

Control plane

Built around the ADE loop, not a chat transcript.

Phonton treats planning, context, verification, review, and memory as product surfaces. Each step leaves data that can be inspected by the developer.

GoalContract
Acceptance criteria, assumptions, expected artifacts, quality floor, and verify plan before workers start.
Context resolver
Mentions become typed source rows so missing files, folders, symbols, and MCP servers are inspectable.
Diff workers
Worker output is code-first and diff-oriented instead of unbounded prose.
Verification gates
Syntax, build, command, test, and diagnostic checks decide whether work is review-ready.
Review receipt
Changed files, commands, known gaps, rollback points, token use, and extension influence are bundled.
Session memory
TUI resume restores local state, not a hidden hosted transcript.

Context bounding

Mentions become typed source rows.

Instead of dumping massive, uncontrolled files into the context window, Phonton parses and resolves exact folders, files, AST symbols, and MCP capabilities.

Learn context limits
Context Resolver map
Hover or tap nodes to inspect typed resolver metadata

Proof surface

Review-ready means verified, explainable, and reversible.

The handoff answers what changed, why it changed, how it was checked, what influenced the run, and what still carries risk.

Read review handoff docs
Plan before broad work

The shape of the run is visible before expensive or risky execution starts.

Tool influence is named

MCP capability previews and extension records stay approval-gated and review-safe.

Failed means failed

Verifier diagnostics stay attached to failed goals with a compact repair path.

Claims need evidence

Benchmark comparisons require raw logs, final diffs, verification logs, and quality review artifacts.

Extensions

Local records, explicit trust, previewable MCP capabilities.

Search skills, steering, MCP manifests, and profiles with trust, permissions, and preview commands visible up front.

Skills

Reusable task guidance loaded from auditable local files.

Steering

Project or user rules with advise, warn, and fail severity.

MCP

Tool servers declared with trust, permissions, env names, and approval rules.

Profiles

Activation bundles with optional token and cost ceilings.

Free Desktop

Native control room over the same spine.

Phonton Desktop is a free native app for goals, diff review, verifier output, and memory snapshots. Pro and Ultra add optional cloud sync — not required to use Desktop.

Start here

Interactive ADE terminal

Explore how Phonton compiles GoalContracts, validates permissions, and records token manifests.

npm install -g phonton-cli
phonton doctor
phonton
phonton cli - live simulationinteractive
$