此内容尚未提供您的语言版本,正在以英文显示。

Spec To Code Compliance

插件已验证活跃

Specification-to-code compliance checker for blockchain audits with evidence-based alignment analysis

1 个 Skill 0 个 MCP

目的

To enable rigorous, deterministic verification of blockchain code against its documentation, ensuring implementation matches intent and identifying critical compliance gaps.

功能

Deterministic spec-to-code alignment analysis
Evidence-based mapping with confidence scores
Multi-phase workflow from discovery to reporting
Classification of misalignments by severity
Generation of audit-grade compliance reports

使用场景

Verifying smart contract implementation against whitepapers
Auditing protocol logic for spec adherence
Finding gaps between intended and actual code behavior
Identifying undocumented code features or missing spec claims

非目标

Performing general vulnerability hunting
Writing or improving documentation
Analyzing non-blockchain projects without formal specifications
Inferring or guessing unspecified behavior

安装

请先添加 Marketplace

/plugin marketplace add trailofbits/skills

/plugin install spec-to-code-compliance@trailofbits

包含 1 个扩展

Skill (1)

Spec To Code Compliance Checker 技能

Verifies code implements exactly what documentation specifies for blockchain audits. Use when comparing code against whitepapers, finding gaps between specs and implementation, or performing compliance checks for protocol implementations.

质量评分

已验证

98 /100

about 24 hours ago 分析

信任信号

最近提交3 days ago

GitHub 所有者 trailofbits

星标5.2k

许可证CC-BY-SA-4.0

状态

查看源代码

类似扩展

Blockchain Web3

Smart contract development with Solidity, DeFi protocol implementation, NFT platforms, and Web3 application architecture

插件

wshobson

Context7 Plugin

100

Upstash Context7 MCP 服务器，用于查找最新文档。直接从源代码存储库将特定版本的文档和代码示例拉取到您的 LLM 上下文中。

插件

upstash

Ruflo Security Audit

Security review, dependency scanning, policy gates, and CVE monitoring

插件

ruvnet

C4 Architecture

Comprehensive C4 architecture documentation workflow with bottom-up code analysis, component synthesis, container mapping, and context diagram generation

插件

wshobson

Dimensional Analysis

Annotates codebases with dimensional analysis comments documenting units, dimensions, and decimal scaling. Use when someone asks to annotate units in a codebase, perform a dimensional analysis, or find vulnerabilities in a DeFi protocol. Prevents dimensional mismatches and catches formula bugs early.

插件

trailofbits

Ruflo Knowledge Graph

Knowledge graph construction — entity extraction, relation mapping, and pathfinder graph traversal

插件

ruvnet