Stats
Actions
Tags
'%20stop-opacity%3D'0.16'%2F%3E%3Cstop%20offset%3D'1'%20stop-color%3D'rgb(200%2C90%2C60)'%20stop-opacity%3D'0.03'%2F%3E%3C%2FlinearGradient%3E%3C%2Fdefs%3E%3Crect%20width%3D'320'%20height%3D'200'%20fill%3D'url(%23g)'%2F%3E%3Ccircle%20cx%3D'250'%20cy%3D'56'%20r%3D'92'%20fill%3D'rgb(200%2C90%2C60)'%20fill-opacity%3D'0.06'%2F%3E%3Ccircle%20cx%3D'64'%20cy%3D'172'%20r%3D'58'%20fill%3D'rgb(200%2C90%2C60)'%20fill-opacity%3D'0.05'%2F%3E%3C%2Fsvg%3E)
From asi
Verifies blockchain code exactly implements documentation specs for audits. Use when comparing code to whitepapers, finding spec-implementation gaps, or checking protocol compliance.
How this skill is triggered — by the user, by Claude, or both
Slash command
/asi:spec-to-code-complianceThe summary Claude sees in its skill listing — used to decide when to auto-load this skill
**Trit**: -1 (MINUS)
Trit: -1 (MINUS) Category: spec-to-code-compliance Author: Trail of Bits Source: trailofbits/skills License: AGPL-3.0
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.
This is a Trail of Bits security skill. Refer to the original repository for detailed usage guidelines and examples.
See: https://github.com/trailofbits/skills
npx claudepluginhub plurigrid/asi --plugin asiVerifies blockchain smart contract code matches specification documents (whitepapers, design docs). Finds gaps, undocumented behavior, and unimplemented claims.
Verifies blockchain code exactly matches specifications like whitepapers. Identifies gaps, undocumented behaviors, and compliance issues in protocol implementations.
Analyzes smart contract codebases per Trail of Bits best practices: generates documentation/specs, reviews architecture, upgradeability patterns, implementation quality, pitfalls, dependencies, testing. Provides actionable recommendations.