Agent Skills: lamport-formal-distributed

Design distributed systems in the style of Leslie Lamport, creator of Paxos, TLA+, and LaTeX. Emphasizes formal specification, logical time, and rigorous reasoning about concurrent systems. Use when designing consensus protocols or proving system correctness.

UncategorizedID: copyleftdev/sk1llz/lamport-formal-distributed

Author

copyleftdev

https://github.com/copyleftdev View all skills

Repository

copyleftdev/sk1llz

copyleftdevLicense: Apache-2.0

Install this agent skill to your local

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

Skill Files

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

Download Skill

Loading file tree…

Select a file to preview its contents.