# spec-to-code-compliance

Check code against the documentation that specifies it: one agent per requirement, divergences refuted before they are reported, evidence cited to the line

- **Kind:** plugin (installs as one bundle)
- **Owner:** trailofbits
- **Source:** https://github.com/trailofbits/skills (`plugins/spec-to-code-compliance`)
- **Pinned commit:** `d3323cefbcf645678b8dc481de204b02ad3d02dc`
- **Page:** https://forefy.com/plugins/5872daf5-342f-5266-b314-355e87bbdcc2
- **API (JSON):** https://forefy.com/api/asr/plugins/5872daf5-342f-5266-b314-355e87bbdcc2

## Install

Ask your agent: `Install the spec-to-code-compliance plugin securely from: https://forefy.com/plugins/5872daf5-342f-5266-b314-355e87bbdcc2 globally to ~/.claude/skills`

Or run the pinned install script: `curl -fsSL https://forefy.com/api/asr/plugins/5872daf5-342f-5266-b314-355e87bbdcc2/install | bash` (`?location=project` for the current project, `&shell=powershell` with `irm ... | iex`; `harness=agents` prints the Codex commands).

## Skills in this plugin (2)

- [spec-to-code-compliance](https://forefy.com/skills/e5a6f03b-11c6-46a8-b70f-20d510d77f97): 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…
- [spec-compliance](https://forefy.com/skills/a00c7e0c-3b7c-4cbe-91b9-ffb231939b48): Check code against its specification: extract requirements, hunt each one in the code, verify divergences