Task. Verdict. Evidence.

The panel that tracks what a run actually produced. Tasks unlock from verification, not from an agent saying it finished.

Download ProofStack

The whole product, in one screen: task 3 reported complete and nothing verified it, so it reads unchecked and task 4 stays locked. Every other tool on this list would have shown you four green rows.

proofstack — run · ~/src/orbitalagent

A status is reported, never inferred

A finish is a claim, and the claim is the input to a check. Dependent work unlocks from the engine's verdict, never the report. Nothing checked reads as unchecked.

Read the diff on paper

The bench is dark and dense because machines work there. Evidence is warmer, ruled, and narrow — a surface built for reading, not watching.

Integration waits for you

Each task runs in its own Git worktree, every operation constructed in Rust, none forced. Integration is topological, and the merge target always needs your approval.

// Read-only roles are held by the task engine, not an OS sandbox.

The rest of the stack

All six ship together in one download.

spaceEvery agent in its own terminal. All of them in one window.

swarmFive agents, one mission, every message between them on screen.

voicePush to talk. Nothing listens until you hold the key.

scanEvery change scanned for vulnerabilities before it counts as done.

shotOne keystroke, a clean screenshot of any pane or the whole grid.

ProofAgent is part of ProofStack.

One download, macOS or Windows. One plan, no tiers.

Download ProofStack

opening pane

▌