spec-to-code-compliance — Skills

What it does

Verify code implements exactly what documentation specifies

Audit smart contracts against whitepapers or design documents

Find gaps between intended behavior and actual implementation

Identify undocumented code behavior or unimplemented spec claims

Perform compliance checks for blockchain protocol implementations

User provides both specification documents AND codebase

Questions like "does this code match the spec?" or "what's missing from the implementation?"

spec to code compliance

Source

Repository: https://github.com/trailofbits/skills

spec-to-code-compliance FAQ

What does the spec-to-code-compliance skill do?

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. Verify code implements exactly what documentation specifies Audit smart contracts against whitepapers or design documents

What does spec-to-code-compliance require?

Use this skill when you need to: Configuration keys: README.

How do I install spec-to-code-compliance?

Run: npx -y skills add https://github.com/trailofbits/skills --skill spec-to-code-compliance --agent claude-code — the source lives at github.com/trailofbits/skills.

Maintain spec-to-code-compliance?

Let people know it's listed here — add the badge (live metrics, light/dark aware) or a plain link to your README or docs.

[spec-to-code-compliance on getagentictools](https://getagentictools.com/skills/trailofbits-skills-spec-to-code-compliance?ref=badge)

npx agentictools info skills/trailofbits-skills-spec-to-code-compliance

The second line is the CLI lookup for this page — handy in READMEs and docs.