lamport-distributed-systems
현지화된 요약: His work on logical clocks, consensus (Paxos), and formal specification (TLA+) provides the theoretical foundation for nearly every reliable distributed system built today. It covers adversarial-attacks, ai-safety, consensus workflows. This AI agent skill supports Claude Code, Cursor, and