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 4cd7691 999 B Updated

File contents

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

plurigrid/asi/tree/main/plugins/asi/skills/spec-to-code-compliance commit 4cd7691410

Frequently asked questions

npx skillmds@latest add plurigrid/spec-to-code-compliance-2