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.
Install
npx skills add trailofbits/skills --skill spec-to-code-compliancenpx skills add trailofbits/skills --skill spec-to-code-compliance -a claude-code -gnpx skills add trailofbits/skills --skill spec-to-code-compliance -a codex -ggemini skills install https://github.com/trailofbits/skills.git --path plugins/spec-to-code-compliance/skills/spec-to-code-compliancegh skill install trailofbits/skills spec-to-code-compliancegit clone --depth 1 https://github.com/trailofbits/skills /tmp/trailofbits__skills
mkdir -p ~/.claude/skills ~/.agents/skills
cp -R /tmp/trailofbits__skills/plugins/spec-to-code-compliance/skills/spec-to-code-compliance ~/.claude/skills/spec-to-code-compliance # Claude Code
cp -R /tmp/trailofbits__skills/plugins/spec-to-code-compliance/skills/spec-to-code-compliance ~/.agents/skills/spec-to-code-compliance # Codex, Cursor, Gemini CLI, Copilot, OpenCode