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.
Only the file list is public. File contents are available once the skill is installed in a workspace.
| Path | Size | Type |
|---|---|---|
| agents/openai.yaml | 252 B | application/yaml |
| assets/trail-of-bits-mark.svg | 3 KB | text/plain |
| resources/ANALYSIS_FORMAT.md | 2.8 KB | text/markdown |
| resources/DIVERGENCE_RUBRIC.md | 3.3 KB | text/markdown |
| resources/DOMAIN_NOTES.md | 5.7 KB | text/markdown |
| resources/WORKED_EXAMPLE.md | 4.1 KB | text/markdown |
| SKILL.md | 7.4 KB | text/markdown |
Source 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.