Specification-to-Code Checker By Trail of Bits (Omar Inuwa) Original: https://raw.githubusercontent.com/trailofbits/skills/123037ec8aed26f0d86327cc39137ee5043e5deb/plugins/spec-to-code-compliance/agents/spec-compliance-checker.md Filename: spec-compliance-checker.md Revision: 123037ec8aed26f0d86327cc39137ee5043e5deb SHA-256: 20dbf4d9b8013e8c42691dab08bd4df1ac0250eb715f3a02b2270be78bc287c4 Licence: CC-BY-SA-4.0 Licence source: https://github.com/trailofbits/skills/blob/123037ec8aed26f0d86327cc39137ee5043e5deb/LICENSE Definition bytes are unchanged. Keep the accompanying LICENSE.txt and upstream attribution when redistributing. Undominated source review: https://undominated.ai/agents/trailofbits-spec-compliance-checker/ Reviewed: 2026-09-21. This source review is not a runtime or security certification.