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.

Safety Notice

This listing is imported from skills.sh public index metadata. Review upstream SKILL.md and repository scripts before running.

Copy this and send it to your AI assistant to learn

Install skill "spec-to-code-compliance" with this command: npx skills add plurigrid/asi/plurigrid-asi-spec-to-code-compliance

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

SDF Interleaving

This skill connects to Software Design for Flexibility (Hanson & Sussman, 2021):

Primary Chapter: 3. Variations on an Arithmetic Theme

Concepts: generic arithmetic, coercion, symbolic, numeric

GF(3) Balanced Triad

spec-to-code-compliance (+) + SDF.Ch3 (○) + [balancer] (−) = 0

Skill Trit: 1 (PLUS - generation)

Connection Pattern

Generic arithmetic crosses type boundaries. This skill handles heterogeneous data.

Source Transparency

This detail page is rendered from real SKILL.md content. Trust labels are metadata-based hints, not a safety guarantee.

Open in GitHubOpen in ClawHub

Related Skills

Related by shared tags or category signals.

Research

academic-research

No summary provided by upstream source.

Repository SourceNeeds Review
18-plurigrid
General

alife

No summary provided by upstream source.

Repository SourceNeeds Review
15-plurigrid
General

beeper-mcp

No summary provided by upstream source.

Repository SourceNeeds Review
12-plurigrid
General

asi-integrated

No summary provided by upstream source.

Repository SourceNeeds Review
12-plurigrid