spec-to-code-compliance
Audits code against specifications and whitepapers to identify gaps, undocumented paths, and logic misalignments.
Install
npx skills add https://github.com/trailofbits/skills --skill spec-to-code-complianceStats
| Total installs | 1,325 |
| Weekly installs | 1.3K |
| GitHub stars | 4.0K |
| First seen | Jan 19, 2026 |
| Source | @trailofbits/skills |
Summary
- Performs deterministic, line-by-line semantic analysis of code against specification documents, whitepapers, or design docs to identify gaps and misalignments
- Extracts specification intent and code behavior into structured intermediate representations (Spec-IR, Code-IR, Alignment-IR) with full traceability and confidence scores
- Classifies divergences by severity (critical, high, medium, low) with evidence links, exploit scenarios, and remediation recommendations
- Detects undocumented code paths, unimplemented spec claims, invariant violations, math inconsistencies, and access control drift across the entire codebase
Tags
Related skills
| Skill | Installs | vs spec-to-code-compliance |
|---|---|---|
| nutrient-document-processing | 1,351 | +26 |
| modern-python | 1,399 | +74 |
| clawhub-skill-vetting | 1,350 | +25 |
| convex-http-actions | 1,534 | +209 |
| fuzzing-obstacles | 1,266 | -59 |
FAQ
- How many installs does spec-to-code-compliance have?
- spec-to-code-compliance has 1,325 total installs and 1.3K installs this week.
- Where is spec-to-code-compliance hosted?
- spec-to-code-compliance is published by @trailofbits/skills at https://github.com/trailofbits/skills.
- How many GitHub stars does spec-to-code-compliance have?
- spec-to-code-compliance has 4.0K GitHub stars.
- When was spec-to-code-compliance first indexed?
- OrangeBot.AI first indexed spec-to-code-compliance on Jan 19, 2026.
- How do I install spec-to-code-compliance?
- Run: npx skills add https://github.com/trailofbits/skills --skill spec-to-code-compliance