Overplane
v0.0.7

Reference

build

Run specs through raise → verify → codegen. Raise writes IR under dirs.ir; verify runs Z3 checks; codegen runs a sandboxed AI agent and syncs output to dirs.code. Phases run sequentially, spec-at-a-time.

Optional

all | N | #000N

argument

Select specs: all for every spec, N or #000N for specs 1..N inclusive.

phase

argument

Optional trailing phase: raise, verify, or codegen (same as -p / --phase).

-n

integer

Build specs 1..N inclusive (dev shorthand).

-p

string

Run only raise, verify, or codegen (--phase is an alias).

--phase

string

Run only raise, verify, or codegen.

--plan

boolean default false

Show stages and steps that would run, without executing.

--prompt

string default "auto"

Codegen prompt name within the codegen/ stdprompt collection.

--clean

boolean default false

Blank dirs.ir and dirs.code before running.

--additive

boolean default false

Overlay dirs.code without deleting stray files (default: clean sync that rebuilds the output directory).

--no-explain

boolean default false

Skip LLM explanations of verify failures.

--agent

string

Agent config name from overplane.yaml (for example codex) or a backend id: claude-code, codex, gemini-cli, or opencode (-a).

--output

string

Final code output directory, overriding dirs.code (-o).

--model

string

Model id (-m); defaults to the backend's default model.

--json

boolean default false

Emit a canonical JSON result instead of progress text.

--tui

boolean default false

Full-screen matrix TUI for build progress and streaming output.

--tui-debug

boolean default false

Include debug-level logs in the TUI output pane.