Spec to Code Compliance

Low Risk

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

Pending Review

This skill has been submitted and is awaiting security assessment.

Required Permissions

File System (Read)

Smart contract development advisor based on Trail of Bits best practices — analyzes architecture, upgradeability, dependencies, and testing.

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

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