LogoClawIndex
案例技能关于
LogoClawIndex

spec-to-code-compliance - 验证代码与规范文档的一致性

在区块链审计中验证代码实现是否与规范文档、白皮书或设计文档完全一致。

标签

更新于: 2026-09-23
区块链智能合约审计合规验证

能力

提取规范中间表示分析代码库语义结构对比代码与规范差异划分差异严重程度

典型输入

规范文档协议代码库

典型输出

Spec-IR 规范中间表示Code-IR 代码中间表示Alignment-IR 对齐记录

该技能可以做什么

  • 提取规范中间表示
  • 分析代码库语义结构
  • 对比代码与规范差异
  • 划分差异严重程度
  • 生成结构化合规报告

输入

  • 规范文档
  • 协议代码库

输出

  • Spec-IR 规范中间表示
  • Code-IR 代码中间表示
  • Alignment-IR 对齐记录
  • 审计合规报告

要求

    来源

    • 规范: SKILL.md

    ClawIndex

    OpenClaw Skills 与 Use Case 索引

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

    索引

    Skills·
    Cases

    Meta

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