nerdsane

Formal Verification — Development agent for Claude Code

Development community

TLA+ specs, Stateright model checking, Kani proofs, and Maelstrom integration.

How to install Formal Verification

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

Terminal

mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/nerdsane/redis-rust/HEAD/.claude/agents/formal-verification.md -o ~/.claude/agents/nerdsane-redis-rust-formal-verification.md

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

What Formal Verification does

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

Alternatives in Development

Tend — Tend the Allium garden 3.7k ★
Controller Agent — Creates thin, RESTful Rails controllers with strong parameters, proper error handling, and request specs 652 ★
Sanitizer — Generic sanitizer worker agent 262 ★