What is spec-to-code-compliance?
spec-to-code-compliance is a Claude skill by trailofbits that specification-to-code compliance checker for blockchain audits. It is listed under Engineering practice and has 7,623 GitHub stars.
| Type | Claude skill |
|---|---|
| Author | trailofbits |
| Repository | trailofbits/skills |
| Popularity | 7,623 GitHub stars |
| Category | Engineering practice |
| Security | Not scanned |
| Rank | #378 of 1,262 Claude skills; #72 in Engineering practice |
| License | CC-BY-SA-4.0 |
| Last commit | 2026-10-15 |
| Stars this week | +142 |
Is spec-to-code-compliance safe to install?
We have not scanned spec-to-code-compliance yet because its SKILL.md could not be fetched. Read the source before installing.
| Check | Result |
|---|
How do I install spec-to-code-compliance?
- Install with the skills CLI. Works for Claude Code and other agents that read skills.
npx skills add https://github.com/trailofbits/skills --skill spec-to-code-compliance
- Or copy it by hand. Claude Code loads any folder with a SKILL.md from ~/.claude/skills.
git clone https://github.com/trailofbits/skills cp -r skills/spec-to-code-compliance ~/.claude/skills/spec-to-code-compliance
- Use it. Claude loads the skill when a task matches its description. You can also name it in your prompt.
Use the spec-to-code-compliance skill to …
Or ask Claude to set it up
Paste this into Claude Code and it installs spec-to-code-compliance for you:
Install the "spec-to-code-compliance" skill from https://github.com/trailofbits/skills into ~/.claude/skills, then tell me in one line what it does.
More from trailofbits/skills
This repository has at least 9 Claude skills on MCPMods.
- ask-questions-if-underspecified: Prompt for clarification on ambiguous requirements (Not scanned)
- audit-context-building: Deep architectural context via ultra-granular code analysis (Not scanned)
- building-secure-contracts: Smart contract security toolkit with vulnerability scanners for 6 blockchains (Not scanned)
- burpsuite-project-parser: Search and extract data from Burp Suite project files (Not scanned)
- claude-in-chrome-troubleshooting: Diagnose and fix Claude in Chrome MCP extension connectivity issues (Not scanned)
- constant-time-analysis: Detect compiler-induced timing side-channels in crypto code (Not scanned)
- culture-index: Index and search culture documentation (Not scanned)
- differential-review: Security-focused diff review with git history analysis (Not scanned)