LogoClawIndex
案例技能关于
LogoClawIndex

ClawIndex

OpenClaw Skills 与 Use Case 索引

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

索引

Skills·
Cases

Meta

关于·
声明·
邮箱·
GitHub
© 2026 ClawIndex 保留所有权利。

具备该能力的 Skills：验证不变量

浏览具备该能力的技能列表。

  • lamport-distributed-systems - Lamport分布式系统设计
    分布式系统形式化规范共识算法Paxos

    ★ 18 · 更新于 2026-03-23

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

    ⚙ 编写规范⚙ 设计状态机复制⚙ 实现逻辑时钟
  • property-based-testing - 基于属性的代码测试
    测试基于属性序列化验证

    ★ 57 · 更新于 2026-03-19

    为序列化、验证、规范化和纯函数生成随机输入并验证不变式

    ⚙ 生成随机输入⚙ 验证不变式⚙ 检测模式