Skip to content
LiveNew tools this week
Submit
AIMarketly
spec-to-code-compliance logo

Spec To Code Compliance Skill

spec-to-code-compliance

Verifies code implements exactly what documentation specifies for blockchain audits. Use when comparing code against whitepapers, finding gaps between specs and implementation, or performing compliance checks for protocol implementations.

plurigrid/asi0installs67starsSecurity

SKILL.md

Full skill instructions

Spec To Code Compliance Skill

Trit: -1 (MINUS) Category: spec-to-code-compliance Author: Trail of Bits Source: trailofbits/​skills License: AGPL-3.0

Description

Verifies code implements exactly what documentation specifies for blockchain audits. Use when comparing code against whitepapers, finding gaps between specs and implementation, or performing compliance checks for protocol implementations.

When to Use

This is a Trail of Bits security skill. Refer to the original repository for detailed usage guidelines and examples.

See: https://github.com/trailofbits/skills

Related Skills

  • audit-context-building
  • codeql
  • semgrep
  • variant-analysis