Can it be used for non-blockchain projects?

While optimized for blockchain audits and protocol implementations, it can be used for any project with formal technical specifications where strict compliance is required.

How does it handle security vulnerabilities?

It identifies vulnerabilities specifically arising from logic mismatches between the spec and code, classifying them by severity and providing remediation steps.

What is the Spec-to-Code Compliance skill?

It is a specialized capability for Claude Code that analyzes whether a codebase accurately implements the requirements and logic defined in its technical documentation or whitepapers.

Does it require specific documentation formats?

No, it can normalize various inputs including PDFs, Markdown, Notion exports, and even meeting transcripts into a canonical format for analysis.

Does it use external knowledge about protocols?

No, it follows strict anti-hallucination rules and only uses the materials provided in the specific project context to ensure deterministic results.

Spec-to-Code Compliance Checker

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

bymonmacllcapp

0•

セキュリティとテスト

Audits blockchain codebases against technical specifications and whitepapers to identify implementation gaps and logic divergences.

The Spec-to-Code Compliance Checker is a specialized skill designed for senior-level blockchain auditors to ensure that a protocol's implementation strictly adheres to its documented logic, math, and security invariants. By normalizing various documentation formats into a structured Intermediate Representation (IR), it performs a granular, line-by-line comparison between intended behavior and actual code execution. This skill eliminates hallucinations by requiring exact evidence citations for every claim, helping developers catch undocumented code paths, unimplemented spec features, and critical security mismatches before deployment.

主な機能

01Traceable evidence-based reporting with exact file and line citations

02Automated divergence classification by severity from Critical to Low

03Detection of undocumented code paths and unimplemented spec requirements

040 GitHub stars

05Structured Spec-IR and Code-IR generation for deterministic mapping

06Multi-format documentation normalization for PDFs, Markdown, and whitepapers

ユースケース

01Performing compliance audits for new blockchain protocol implementations

02Verifying smart contract logic against DeFi protocol whitepapers

03Identifying discrepancies between technical design documents and production code

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add monmacllcapp/skill-forks spec-to-code-compliance

For use in Claude.ai and ChatGPT

Download Skill