Agent skill · trailofbits
spec-to-code-compliance
Check code against the documentation that specifies it - which requirements hold, which the code contradicts, which are absent, and what the code does that
Reference it in any coding agent with:
@skills trailofbits/spec-to-code-compliance