# How can I check AI-written Rust beyond unit tests?

Use Verus through Sail to check Rust against contracts and give coding agents faster verification feedback.

Author: Jeffrey Kent
Canonical: https://jeffreykent.dev/answers/verify-ai-written-rust/
Published: 2026-11-01
Updated: 2026-11-01
Source: https://github.com/Chelis-Lang/sail
Source revision: b7666c37d305efdb2a3ed34af6f3dd41d9539495

Use [Sail](/software/sail/) with Verus for Rust that needs stronger checks than unit tests. Verus checks implementations against written contracts, such as preconditions, postconditions and invariants. Sail makes repeated verification faster and gives coding agents access to it through MCP.

Start with `sail new --lib demo` to create a Verus project, or use `sail verify` in an existing one. An agent can write code, contracts and proofs, then verify and check repairs through Sail. Cached Z3 answers and unchanged proofs are reused between attempts.