nerdsane

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.

nerdsane/redis-rust

Instructions file

Claude Code instructions for nerdsane/redis-rust, covering claude code guidelines for redis-rust, ⚠️ mandatory: read these first, on-demand skills, ⚠️ mandatory: default development workflow and 1. plan first (architecture).

nerdsane/bloodhound

Instructions file

Instructions for nerdsane/bloodhound, covering bloodhound development guide, project overview, engineering philosophy, the verification pyramid and core principles.