AgentsAvançado

Spec-to-Code Compliance Checker Skill

portrailofbits·trailofbits· v1.0.0 · atualizado em 2026-04-10

Score

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.

blockchain-auditsmart-contract-verificationspec-to-codecompliance-checkingformal-verificationsecurity-auditcode-analysis

0Stars

0Forks

0Usos

Fork

Documento do Skill

SKILL.mdspec-to-code-compliance/workflow

Documentation Discovery: — Identify all content representing documentation and extract into a unified spec corpus.

Universal Format Normalization: — Normalize all input formats (PDF, Markdown, etc.) into a clean, canonical `spec_corpus`.

Spec Intent IR: — Extract all intended behavior from the `spec_corpus` into the Spec-IR.

Code Behavior IR: — Perform line-by-line semantic analysis of the codebase to create the Code-IR.

Alignment IR: — Compare Spec-IR and Code-IR to generate Alignment Records, noting matches, mismatches, and undocumented behavior.

Divergence Classification: — Classify each misalignment by severity (Critical, High, Medium, Low).

Final Audit-Grade Report: — Produce a structured compliance report with findings and recommendations.

Telemetria de Agentes

Execuções

total

Taxa de Sucesso

últimos 30d

Latência Média

0.0s

p50

Alucinação

0.0%

detecção

Tokens Entrada

avg 0/exec

Tokens Saída

avg 0/exec

Uso por Plataforma

Skills Relacionados

Compõe comDeep Context Builder Skill (Ultra-Granular Pure Context Mode)

70%

Similar aRemembering Conversations

60%

Similar aInstaclaw 🦞

60%

Similar aNotebookLM Automation

60%

Árvore do Skill

Spec-to-Code Compliance Checker Skill

spec-to-code-compliance

Fases Cognitivas5

1.SENSE

2.CONTEXTUALIZE

3.EVALUATE

4.RECOMMEND

5.REFLECT

Triggers8

verify code implements documentationaudit smart contracts against whitepapersfind gaps between intended behavior and implementationidentify undocumented code behaviorperform compliance checks for blockchain protocolsdoes this code match the spec?what's missing from the implementation?analyze code for spec compliance

Avaliar este Skill

Score Breakdown

⭐Avaliação Humana0%

🤖Sucesso de Agentes0%

🕐Atualidade100%

🔗Saúde de Dependências100%

🕸️Centralidade no Grafo0%

🛡️Segurança50%

CompositeScore = α·Humano + β·Agente + γ·Recência + δ·Deps + ε·Centralidade + ζ·Segurança

Instalação

$ synaptic mcp download spec-to-code-compliance

$ synaptic skills detail spec-to-code-compliance

$ synaptic skills live spec-to-code-compliance

Links

GitHub Repository