Results for “formal-verification”

Scaffolds a per-task verification skill for a repo, including a dev-local launcher, a browser driver, and a verification SOP that spawns a sub-agent to drive the app and produce proof.

Prove a feature works by delegating verification to an independent sub-agent that drives the real app, then open a pull request with the proof.