Spec To Code Compliance

Plugin Verified Active

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

1 Skill 0 MCPs

Purpose

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

Features

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

Use Cases

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

Non-Goals

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

Installation

First, add the marketplace

/plugin marketplace add trailofbits/skills

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

Contains 1 extensions

Skill (1)

Spec To Code Compliance Checker Skill

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.

Quality Score

Verified

98 /100

Analyzed about 12 hours ago

Trust Signals

Last commit3 days ago

GitHub owner trailofbits

Stars5.2k

LicenseCC-BY-SA-4.0

Status

View Source

Similar Extensions

Blockchain Web3

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

Plugin

wshobson

Context7 Plugin

100

Upstash Context7 MCP server for up-to-date documentation lookup. Pull version-specific documentation and code examples directly from source repositories into your LLM context.

Plugin

upstash

Ruflo Security Audit

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

Plugin

ruvnet

C4 Architecture

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

Plugin

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.

Plugin

trailofbits

Ruflo Knowledge Graph

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

Plugin

ruvnet