spec-to-code-compliance

SkillDocs & knowledge

Lets your agent check whether code actually matches the spec or design document it was written from.

Available today. Use it from your connected AI after setup.

Connect ahel once, and every AI you use reads what you have installed.

Then ask your AI: use the spec-to-code-compliance skill

About this capability

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.

Signals

GitHub stars
7k
Forks
604
Last commit
Sep 2026
Advanced
Catalog kind
skill
Gateway key
spec-to-code-compliance-trailofbits
Source
github.com/trailofbits/skills