Spec To Code Compliance
by trailofbits82fe82262526No license7.4K starsListed Oct 8, 2026Updated Oct 8, 2026Repository updated yesterday
Check code against the documentation that specifies it - which requirements hold, which the code contradicts, which are absent, and what the code does that no document mentions. Use when comparing an implementation against a whitepaper, protocol spec, or design document.
Add to a SourceWeft workspace
- Open the skill in your dashboard and add it to a workspace.
- Enable it for the chats that should use it.
This skill is instructions only: it ships no scripts to execute.
Add to SourceWeftYou will be asked to sign in first, then taken straight to this skill.
Ask your agent to install it
Paste this prompt into Claude Code, Codex, Cursor or another agent that can run commands — or into SourceWeft chat. The agent reads this skill's install guide, shows you its source, license and scripts, and installs it with the SourceWeft CLI once you agree.
Read https://sourceweft.com/skills/gh-trailofbits-skills-spec-to-code-compliance/install.md and install the skill it describes. Before installing, show me its source, license and whether it ships scripts, and wait for my OK. Ask me before changing anything else on my machine.Install it yourself from a terminal
For Claude Code, Codex, Cursor and other local agents. The SourceWeft CLI fetches the skill from its source repository at the commit scanned here, and verifies every file against the hashes recorded when the skill was scanned. If anything differs, nothing is written.
npx @sourceweft/cli skills install gh-trailofbits-skills-spec-to-code-complianceAdd --agent claude-code, codex, cursor or universal to choose which agent gets it (Claude Code by default).
Upstream installer — not verified by SourceWeft
The open-source skills installer fetches the same pinned commit, but does not check the files against the hashes SourceWeft recorded.
npx skills add https://github.com/trailofbits/skills/tree/82fe8226252622fa807643bdca1710901198553a/plugins/spec-to-code-compliance/skills/spec-to-code-complianceSource and attribution
Source:trailofbits/skillsinplugins/spec-to-code-compliance/skills/spec-to-code-complianceat commit82fe822
License: No license
Content belongs to its original authors. SourceWeft indexes it from a public repository.
More from trailofbits/skills
Vector Forge
trailofbits
Generates cryptographic test vectors by mutation testing implementations to find uncovered code paths.
Wycheproof
trailofbits
Guides testing cryptographic implementations against Project Wycheproof test vectors for known attacks and edge cases.
Ruzzy
trailofbits
Guides setup and use of Ruzzy, Trail of Bits' coverage-guided fuzzer for Ruby code and C extensions.
Ossfuzz
trailofbits
Guides enrolling an open-source project in OSS-Fuzz and running fuzzing harnesses locally via helper.py.
Libfuzzer
trailofbits
Guides setting up and running libFuzzer on C/C++ code, covering harnesses, builds, corpora, sanitizers and triage.
Trailmark
trailofbits
Builds and queries multi-language source and binary code graphs for security analysis and audit prioritization.