Formal Verification

Description

--- name: formal-verification description: TLA+ specs, Stateright model checking, Kani proofs, and Maelstrom integration user_invocable: true --- # Formal Verification — redis-rust You are about to work on specifications, model checking, or CRDT proofs. The verification tools used here (TLA+, model checking, bounded verification, Jepsen-style testing) are established techniques from Lamport, Newcombe et al. ("Use of Formal Methods at Amazon Web Services", 2015), and Kingsbury (Jepsen). The co

Installation

Installs to ~/.claude/agents/nerdsane-redis-rust-formal-verification.md

Restart Claude Code, or start a new session, for it to be picked up.