Skip to main content

spec-to-code-compliance

spec-to-code-compliance

Catalogue généré le 2026-05-11

En une phrase

VerifiesCompare un document de spécification (le « cahier des charges » d'un projet, type whitepaper) au code implementsréellement exactlyécrit, whatpour documentationvérifier specifiesque forle blockchaincode audits.fait exactement ce que la doc promet — ni plus, ni moins.

Quand l'utiliser

  • UseTu whenaudites comparingun smart contract et tu disposes du whitepaper (le document fondateur d'un projet blockchain qui décrit comment il est censé fonctionner).
Tu veux trouver les « trous » entre ce qui est promis sur le papier et ce qui est codé. Tu cherches du code againstqui whitepapers,fait findingdes gapschoses betweennon specsdocumentées and(potentiellement implementation,un orbackdoor performingou complianceune checksfonctionnalité foroubliée). protocolTu implementations.veux valider qu'une implémentation respecte un protocole standard.

Comment l'invoquer

  • Slash command : /spec-to-code-compliance (siou exposé dans ton CLI)/spec-compliance).
  • Phrases déclencheurs (texte) : voir la description complète ci-dessous
Auto-invocation : sur demande explicite

Description complète

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.

Pour aller plus loin

When to Use

Use this skill when you need to:

    Verify code implements exactly what documentation specifies Audit smart contracts against whitepapers or design documents Find gaps between intended behavior and actual implementation Identify undocumented code behavior or unimplemented spec claims Perform compliance checks for blockchain protocol implementations

    Concrete triggers:

      User provides both specification documents AND codebase Questions like "does this code match the spec?" or, "what's missing from the implementation?", "compliance check", "compare to whitepaper". AuditAuto-invocation engagements: requiringSur spec-to-codedemande alignment analysis Protocol implementations being verified against whitepapersexplicite.

      WhenDescription NOT to Usedétaillée

      DoDans NOTle usemonde thisde la blockchain et des protocoles décentralisés, un projet commence presque toujours par un « whitepaper » : un document qui explique en détail ce que le système est censé faire (les règles, les calculs, les garanties de sécurité, les invariants à respecter). Puis des développeurs traduisent ce document en code. Le problème, c'est que la traduction n'est jamais parfaite : il y a des oublis, des interprétations, des raccourcis. Ce skill for:traque ces écarts.

        Il

        Codebasesfonctionne withouten correspondingplusieurs specificationphases. D'abord, il identifie tous les documents Generalqui font office de spécification (whitepaper PDF, Markdown, notes de design). Ensuite, il extrait de manière exhaustive chaque exigence ou affirmation de la doc. Puis il cherche dans le code reviewla portion qui implémente cette exigence. Pour chaque correspondance, il attribue un type (match complet, match partiel, divergence, exigence non implémentée) et un niveau de confiance entre 0 et 1. Il signale aussi le sens inverse : du code qui existe mais qui ne correspond à aucune ligne de la spec — c'est souvent là que se cachent les vulnérabilités les plus retorses.

        La règle d'or vulnerability hunting (use audit-context-building instead)

        Writing or improving documentation (thisdu skill only: verifiesne compliance)jamais inventer. Chaque conclusion doit citer une preuve précise (section du document, numéro de ligne du code). Pas de supposition, pas de « probablement ». Quand quelque chose est ambigu, c'est classé comme tel plutôt que tranché à la légère.

        Pour aller plus loin

        (extraitPour —les détails techniques, exemples et patterns spécifiques, voir le SKILL.md complet pour la suite)original.

        Source

        • Plugin : trailofbits/spec-to-code-compliance
        • Nom interne : spec-to-code-compliance
        • Fichier : /home/thymon/.claude/plugins/cache/trailofbits/spec-to-code-compliance/1.1.0/skills/spec-to-code-compliance/SKILL.md
        Back to top