LogoClawIndex
案例技能关于
LogoClawIndex

ClawIndex

OpenClaw Skills 与 Use Case 索引

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

索引

Skills·
Cases

Meta

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

带有该标签的 Skills：验证

浏览带有该标签的技能列表。

  • tools-creusot-extract-spec-prop - 从 Creusot 规范中提取属性并追踪覆盖率。
    Creusot验证规范漂移覆盖率

    ★ 2 · 更新于 2026-09-14

    从组件规范中提取属性，追踪假设与信任边界，并生成 Creusot 覆盖率与规范漂移报告。

    ⚙ 发现组件规范文件⚙ 从规范中提取验证属性⚙ 向接口分配属性所有权
  • EXECUTION - 高精度计划执行模式
    执行实施部署验证

    ★ 666 · 更新于 2026-05-28

    一种高精度实现模式，用于零错误执行计划

    ⚙ 读取技能文件⚙ 读取README.md⚙ 读取实施计划