spec-to-code-compliance
PackSecurityChecks whether code matches its written specification and reports gaps, useful during security reviews.
Unavailable. Delivery for this kind is on the roadmap — not serving yet.
Add ahel to your AI once: Claude, ChatGPT, Cursor, Claude Code or Codex. Then ask it to use this.
About this app
Specification-to-code compliance checker for blockchain audits with evidence-based alignment analysis
Signals
- GitHub stars
- 7k
- Forks
- 618
- Last commit
- Sep 2026
Advanced
- Item type
- plugin
- Key
trailofbits-skills-spec-to-code-compliance- Source
- github.com/trailofbits/skills