Spec to Code Compliance

Name: Spec to Code Compliance
Rating: 5 (5099 reviews)
Author: Trail of Bits

Low Risk

Verifies code implements exactly what documentation specifies for blockchain audits — finds gaps between specs and implementation.

Pending Review

This registry entry has been submitted and is awaiting security assessment.

Required Permissions

File System (Read)

trailofbits/skills /plugins/spec-to-code-compliance/skills/spec-to-code-compliance

5,099

Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows

Python 446 22 29

Latest commit: Add spec-compliance-checker agent to spec-to-code-compliance (#82) 2 months ago

Source: GitHub API, fetched today

Prepares codebases for security review using Trail of Bits checklist — sets review goals, runs static analysis, increases test coverage.

Analyzes token implementations for ERC20/ERC721 conformity, checks 20+ weird token patterns, and evaluates protocol handling of non-standard tokens.

Systematic 9-category code maturity assessment for smart contracts — arithmetic safety, access controls, complexity, MEV risks, and testing.