LogoClawIndex
案例技能关于
LogoClawIndex

ClawIndex

OpenClaw Skills 与 Use Case 索引

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

索引

Skills·
Cases

Meta

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

具备该能力的 Skills：定义具有所有者的归纳不变量

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

  • tw-invariant-ace - 在代码边界定义并强制执行归纳不变量
    不变量校验并发正确性

    ★ 8 · 更新于 2026-09-23

    通过在系统边界定义与强制执行归纳不变量，彻底消除非法状态并提供验证信号。

    ⚙ 定义具有所有者的归纳不变量⚙ 构造具体的反例追踪⚙ 在系统边界编码强制约束