lamport-distributed-systems - Lamport Distributed Systems Design
Design distributed systems using formal reasoning, logical time, consensus protocols, and state machine replication
Tags
Updated: 2026-03-23Capabilities
Typical Inputs
Typical Outputs
What this skill does
- write specifications
- design state machine replication
- implement logical clocks
- implement consensus protocols
- verify invariants
- prove safety properties
- prove liveness properties
- apply logical time ordering
Inputs
- system requirements
- failure tolerance level
- number of replicas
Outputs
- formal specification
- distributed system design
- safety proofs
- liveness proofs
Requirements
- understanding of distributed systems
- knowledge of formal methods
- consensus protocols understanding