lamport-distributed-systems - Lamport-Style Distributed Systems Design
Apply Leslie Lamport's formal methods to design distributed systems with proven correctness
Tags
Updated: 2026-03-23Capabilities
Typical Inputs
Typical Outputs
What this skill does
- write formal specification
- define safety properties
- define liveness properties
- reason about concurrency
- implement logical clocks
- replicate state machines
- implement consensus protocols
- prove algorithm correctness
Inputs
- system specifications
- failure scenarios
- network topology
- consensus requirements
Outputs
- formal specifications
- correctness proofs
- system designs
- algorithm implementations
Requirements
- distributed systems knowledge
- formal methods familiarity
- concurrency understanding