nerdsane/redis-rust

nerdsane/redis-rust

Agent Claude Code

Domain knowledge for the actor architecture, message passing, and connection handling.

nerdsane/redis-rust

Agent Claude Code

Domain knowledge for replication, gossip, CRDTs, and multi-node code.

nerdsane/redis-rust

Agent Claude Code

Deterministic Simulation Testing methodology, harnesses, fault injection, and shadow state.

nerdsane/redis-rust

Agent Claude Code

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

nerdsane/redis-rust

Agent Claude Code

Rust development patterns, style guide, and project-specific conventions.

nerdsane/redis-rust

Agent Claude Code

TigerStyle coding discipline — assertions, checked arithmetic, design-by-contract.