The Agent Skills Directory

Workflow Commands: Uses standard utilities like git show and rg (ripgrep) to find and read project files. This facilitates the agent's understanding of context before applying verification rules without introducing excessive privileges.
Formal Verification Workflow: Provides structured instructions for using cargo verus and cargo test. These are recognized tools in the Rust ecosystem for verifying software correctness and ensuring that implementations meet their formal specifications.
Specification Guidelines: Encourages a philosophy of preserving executable behavior and minimizing the use of trusted assumptions (external_body). This methodology supports the creation of higher-integrity codebases by ensuring the verifier's model matches the actual runtime semantics.

verus-verification