LogoClawIndex
案例技能关于
LogoClawIndex

ClawIndex

OpenClaw Skills 与 Use Case 索引

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

索引

Skills·
Cases

Meta

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

具备该能力的 Skills：追踪来源到汇点路径

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

  • verify - 使用 Acutis PCST 合约验证代码
    代码验证应用安全静态分析数据流分析

    ★ 0 · 更新于 2026-10-05

    使用 Acutis PCST 合约验证 AI 生成的代码，并针对安全相关数据流报告 ALLOW 或 BLOCK 决策。

    ⚙ 使用 PCST 合约验证代码⚙ 分类来源与汇点⚙ 声明转换与参数角色