Skip to main content
AI/MLplurigrid

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.

Stars
23
Source
plurigrid/asi
Updated
2026-04-26
Slug
plurigrid--asi--spec-to-code-compliance
View on GitHubRaw SKILL.md

// install — copy + paste into any project

mkdir -p .claude/skills && curl -fsSL https://raw.githubusercontent.com/plurigrid/asi/HEAD/plugins/asi/skills/spec-to-code-compliance/SKILL.md -o .claude/skills/spec-to-code-compliance.md

Drops the SKILL.md into .claude/skills/spec-to-code-compliance.md. Works with Claude Code, Cursor, and any agent that loads SKILL.md files from .claude/skills/.

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