Sail is an open-source replacement for cargo verus verify that makes repeated verification faster. It caches Z3 answers, keeps proofs for unchanged targets and restores earlier proofs when you undo an edit.
In the release benchmarks, one-line edits verified 1.2 to 2.5 times faster across the tested projects. On Linux, a failing Anvil edit returned in 27 seconds instead of 146, and a Vest revert took 1.1 seconds instead of 39.
Try sail verify in place of cargo verus verify. Sail builds in its own target directory and leaves your existing Verus installation alone.
Coding agents get MCP tools for verification, failure explanations and repair checks. For SMT work outside Rust, Sail also provides bundled Z3 execution with a persistent result cache, from the CLI or a shared service.