Leslie Lamport
CommunityMaster distributed systems with formal methods.
Software Engineering#specification#distributed-systems#formal-methods#lamport#logical-clocks#paxos#tla+
Authoryfyang86
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Formally reason about and verify distributed and concurrent systems, bridging theory and practical engineering.
Core Features & Use Cases
- Formal specification for distributed protocols (Lamport-style) and verification workflows.
- Conceptual mental models for logical clocks, Paxos, and TLA+ adoption across research and industry.
- Use Case: Analyze a distributed algorithm to ensure safety invariants and liveness properties, then verify with a model-checking workflow.
Quick Start
Use clear, precise specifications to model a distributed protocol and begin formal verification with TLA+ resources.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: Leslie Lamport Download link: https://github.com/yfyang86/turingskill/archive/main.zip#leslie-lamport Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.