All commands

Harness Component — Command

trailofbits:spec-compliance

Verifies code implements specification requirements

Runtimeuniversal
Intentbuild

Definition

Verify Spec-to-Code Compliance

Arguments: $ARGUMENTS

Parse arguments:

  1. Spec document (required): Path to specification (PDF, MD, DOCX, HTML, TXT, or URL)
  2. Codebase path (required): Path to codebase to verify

Invoke the spec-to-code-compliance skill with these arguments for the full workflow.

View full source (315 chars) on GitHub

More from trailofbits/skills

trailofbits:audit-context

command

Builds deep architectural context before vulnerability hunting

5,976universal

trailofbits:burp-search

command

Searches Burp Suite project files for security analysis

5,976universal

trailofbits:ct-check

command

Detects timing side-channels in cryptographic code

5,976universal

trailofbits:diff-review

command

Performs security-focused differential review of code changes

5,976universal

trailofbits:entry-points

command

Identifies state-changing entry points in smart contracts

5,976universal

trailofbits:scan-apk

command

Scans Android APKs for Firebase security misconfigurations

5,976universal