# How can a coding agent fix failing Verus proofs faster?

Give a coding agent Sail for faster Verus feedback, failure explanations and repair checks that reject bad fixes early.

Author: Jeffrey Kent
Canonical: https://jeffreykent.dev/answers/faster-proof-repair/
Published: 2026-11-01
Updated: 2026-11-01
Source: https://github.com/Chelis-Lang/sail/blob/main/docs/proof-repair-walkthrough.md
Source revision: b7666c37d305efdb2a3ed34af6f3dd41d9539495

Connect your coding agent to [Sail](/software/sail/) through its [MCP server](https://github.com/Chelis-Lang/sail/blob/main/docs/mcp.md). The agent gets faster repeated Verus checks, explanations of proof failures and tools for checking a candidate fix.

A repair check verifies the function being fixed first, so a bad fix can be rejected before checking the rest of the target. A fix is accepted after the whole target verifies. Between attempts, Sail reuses cached Z3 answers and unchanged proofs.