Agent Skills: lamport-distributed-systems

Design distributed systems using Leslie Lamport's rigorous approach. Emphasizes formal reasoning, logical time, consensus protocols, and state machine replication. Use when building systems where correctness under concurrency and partial failure is critical.

UncategorizedID: copyleftdev/sk1llz/lamport-distributed-systems

Install this agent skill to your local

pnpm dlx add-skill https://github.com/copyleftdev/sk1llz/lamport-distributed-systems

Skill Files

Browse the full folder contents for lamport-distributed-systems.

Download Skill

Loading file tree…

Select a file to preview its contents.