What types of documents can this skill analyze?

It can process a wide range of formats including PDFs, Markdown, Notion exports, whitepapers, and meeting transcripts to build a unified specification corpus.

Does it provide a confidence score for its findings?

Yes, every mapping between the specification and the code includes a confidence score from 0 to 1, ensuring that all findings are grounded in traceable evidence.

How does it handle undocumented code behavior?

The skill is designed to be pedantic; any code behavior not explicitly defined in the documentation is flagged as an 'Undocumented Code Path' for manual review.

Is this skill only for blockchain projects?

While highly optimized for blockchain audits and smart contracts, it can be utilized for any software project that relies on formal specifications requiring strict implementation compliance.

Spec-to-Code Compliance Checker

Name: Spec-to-Code Compliance Checker
Author: sudohakan

bysudohakan

•

安全与测试

Verifies that blockchain codebases exactly match their technical specifications and whitepapers to ensure protocol integrity.

This skill acts as a senior blockchain auditor by performing a rigorous 7-phase compliance workflow to ensure a codebase perfectly mirrors its documentation. It systematically extracts intended behaviors from whitepapers and design notes, maps them to line-by-line code logic, and identifies critical divergences such as missing invariants, undocumented code paths, or mathematical inconsistencies. It is an essential tool for audit preparation, protocol verification, and ensuring that complex decentralized systems behave exactly as their creators intended.

主要功能

01Comprehensive audit-grade reporting with actionable remediation steps

02Line-by-line semantic analysis of codebase state transitions and logic

032 GitHub stars

04Severity-based divergence classification for missing invariants or logic errors

05Evidence-backed alignment mapping between documentation and implementation

06Automated Spec-IR extraction from whitepapers, PDFs, and design documents

使用场景

01Identifying undocumented code behaviors or 'hidden' features during security reviews

02Auditing smart contracts against whitepapers to find implementation gaps

03Verifying complex DeFi protocol invariants and mathematical formulas

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add sudohakan/claude-code-dotfiles spec-to-code-compliance

For use in Claude.ai and ChatGPT

主要功能

01Comprehensive audit-grade reporting with actionable remediation steps

02Line-by-line semantic analysis of codebase state transitions and logic

032 GitHub stars

04Severity-based divergence classification for missing invariants or logic errors

05Evidence-backed alignment mapping between documentation and implementation

06Automated Spec-IR extraction from whitepapers, PDFs, and design documents

使用场景

01Identifying undocumented code behaviors or 'hidden' features during security reviews

02Auditing smart contracts against whitepapers to find implementation gaps

03Verifying complex DeFi protocol invariants and mathematical formulas

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add sudohakan/claude-code-dotfiles spec-to-code-compliance

For use in Claude.ai and ChatGPT