spec-to-code-compliance
About
This skill compares code against documentation to verify specification compliance, particularly for blockchain audits. It identifies gaps between whitepapers and implementations, and finds undocumented behavior. Use it when you have both a spec and codebase to check for alignment or missing features.
Quick Install
Claude Code
Recommendednpx skills add trailofbits/skills -a claude-code/plugin add https://github.com/trailofbits/skillsgit clone https://github.com/trailofbits/skills.git ~/.claude/skills/spec-to-code-complianceCopy and paste this command in Claude Code to install this skill
GitHub Repository
Frequently asked questions
What is the spec-to-code-compliance skill?
spec-to-code-compliance is a Claude Skill by trailofbits. Skills package instructions and resources that Claude loads on demand, so Claude can perform spec-to-code-compliance-related tasks without extra prompting.
How do I install spec-to-code-compliance?
Use the install commands on this page: add spec-to-code-compliance to Claude Code as a plugin, or clone its repository into your skills directory, then restart Claude so it picks up the skill.
What category does spec-to-code-compliance belong to?
spec-to-code-compliance is in the Documentation category, tagged word and ai.
Is spec-to-code-compliance free to use?
Yes. spec-to-code-compliance is listed on AIMCP and free to install. It runs inside Claude, so no separate service account is required to use the skill itself.
Related Skills
This skill fetches current Railway documentation to answer questions about features, functionality, or specific docs URLs. It ensures developers receive accurate, up-to-date information directly from Railway's official sources. Use it when users ask how Railway works or reference Railway documentation.
This Claude Skill provides expert guidance for writing Python code in n8n's Code nodes, specifically for using Python's standard library and working with n8n's special syntax like `_input`, `_json`, and `_node`. It helps developers understand Python's limitations within n8n and recommends using JavaScript for most workflows while offering Python solutions for specific data transformation needs.
The Archon skill provides RAG-powered semantic search and project management through a REST API. Use it for querying documentation, managing hierarchical projects/tasks, and performing knowledge retrieval with document upload capabilities. Always prioritize Archon first when searching external documentation before using other sources.
This Claude Skill provides expert guidance for writing JavaScript code in n8n's Code nodes. It covers essential n8n-specific syntax like `$input`/`$json` variables, HTTP helpers, and DateTime handling, while troubleshooting common errors. Use it when developing n8n workflows that require custom JavaScript processing in Code nodes.