Skills
.Work. You
Rest

spec-to-code-compliance

Official

Audit code against docs with precision.

Software Engineering#security#specification#verification#audit#compliance#blockchain#code-review
AuthorSuperlend
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill verifies that code implements exactly what the documentation specifies for blockchain audits, ensuring there are no gaps between design docs and implementation.

Core Features & Use Cases

  • Spec-to-code alignment: Compare specifications against smart contracts and protocols to identify gaps.
  • Compliance auditing: Trace invariants, math, security guarantees, and workflow flows across codebases to ensure adherence to docs.
  • Proof of accuracy: Provide evidence-backed mappings with exact quotes and line references for every claim.

Quick Start

Run the spec-to-code compliance workflow on a repository containing both the spec and code, then review the generated Spec-IR and Alignment-IR for review.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: spec-to-code-compliance
Download link: https://github.com/Superlend/superloop-core-contracts/archive/main.zip#spec-to-code-compliance

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.