Skip to main content

Local-first ADE

Proof-carrying codefrom the terminal.

Phonton turns autonomous coding into an inspectable workflow: visible plans, bounded context, verifier gates, review receipts, and local memory.

goalplaneditverifyreviewremember
phonton goal --with @src @github
Phonton workspace showing goal, diff, verification, context, MCP trust, review receipt, and local memory surfaces.
Visible plangoal -> plan

Broad work starts with acceptance criteria and a verify path.

Evidence railverify -> review

Commands, diagnostics, changed files, and known gaps stay attached.

GoalContract

acceptance criteria, artifacts, verify plan

Context map

plan graph, index backend, MCP trust, local memory

HandoffPacket

diffs, commands, gaps, rollback points

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. Hover and interact with the dynamic map to see how bounds are calculated.

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

Proof surface

Review-ready means verified, explainable, and reversible.

The handoff is designed to answer the questions reviewers ask first: 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.

The extensions page is a searchable directory for the real CLI extension model: skills, steering, MCP manifests, and profiles. The important details stay visible: source, trust, permissions, and preview commands.

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.

Desktop app

A native workspace is coming next.

The desktop app is WIP. The direction is a local control room for goals, context, diff review, verifier output, and memory snapshots, without changing the CLI-first accountability model.

View desktop WIP

Start here

Interactive ADE Terminal

Interact with the live CLI simulator. Select a command tab to see how Phonton compiles GoalContracts, validates permissions, and calculates token manifests.

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