AProver workbench

new run · not started

anthropic · claude-sonnet-4-6

1source

repository

github.com/

ref optional · branch, tag, or commit — defaults to HEAD

folder

no folder selected

Reads the directory listing locally — nothing leaves your machine until you pick a scope and run. Only the selected source files are then uploaded for verification. Chromium browsers only.

After cloning, you choose what to verify →

new run · not started

anthropic · claude-sonnet-4-6

✓ — ref HEAD cloned

2scope

what should this run verify?

Whole project

every code file in the repo

Subdirectory

pick a folder in the tree below

Single file

pick a file in the tree below

project tree whole project selected

functions all selected

domain knowledge optional — guides spec generation

Run scope · Whole project — —

est. — · budget unlimited

verifying

API — spent $0.00 · 0 tok

Run halted.

Completed work is preserved — recovery won't re-spend on it.

— C

pipelineeta —elapsed 0s

⤓specs + harnesses cache to disk · safe to pause or close

starting…

run log

findings0 confirmed

Settings

choose a provider · keys stay in your browser

api key get a key ↗

stored in your browser (localStorage) · sent only with your own requests, never written to artifacts

model

presets include a cost estimate · pick Custom for any other model id (no estimate)

base url

leave blank for the provider default

inference backend

auto routes each call to the faster backend and falls back if one stalls

budget cap (usd)

stops the run cleanly once estimated spend crosses the cap · blank = unlimited

max files (directory sweep)

cap on files verified in a whole-project / folder run · blank = server default

keys stay in your browser, sent only with your requests