LogoClawIndex
案例技能关于
LogoClawIndex

lamport-distributed-systems - Lamport分布式系统设计

使用形式化推理、逻辑时间、共识协议和状态机复制设计分布式系统

标签

更新于: 2026-03-23
分布式系统形式化规范共识算法PaxosTLA+状态机复制逻辑时钟

能力

典型输入

典型输出

该技能可以做什么

  • 编写规范
  • 设计状态机复制
  • 实现逻辑时钟
  • 实现共识协议
  • 验证不变量
  • 证明安全属性
  • 证明活性属性
  • 应用逻辑时间排序

输入

  • 系统需求
  • 容错级别
  • 副本数量

输出

  • 形式化规范
  • 分布式系统设计
  • 安全性证明
  • 活性证明

要求

  • 分布式系统理解
  • 形式化方法知识
  • 共识协议理解

来源

  • 规范: SKILL.md

ClawIndex

OpenClaw Skills 与 Use Case 索引

ClawIndex 是一个生态驱动的 OpenClaw Skills 与真实 Use Case 索引站。

索引

Skills·
Cases

Meta

关于·
声明·
邮箱·
GitHub
© 2026 ClawIndex 保留所有权利。
编写规范
设计状态机复制
实现逻辑时钟
实现共识协议
系统需求
容错级别
副本数量
形式化规范
分布式系统设计
安全性证明