Redis-compatible in-memory data store in Rust. Actor-per-shard architecture, CRDT replication, deterministic simulation testing, 4-layer verification.
7 files for Claude Code: actor-model, distributed-systems, dst, formal-verification and 3 more — 5,859 tokens loaded in every session.
CLAUDE.md A 5,859 tok .claude/agents/actor-model.md A 16 tok .claude/agents/distributed-systems.md A 19 tok .claude/agents/dst.md A 18 tok .claude/agents/formal-verification.md A 24 tok .claude/agents/rust-dev.md A 14 tok .claude/agents/tigerstyle.md A 17 tok These files are nerdsane/redis-rust's own configuration — they tell Claude Code how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.