Zum Hauptinhalt springen
Dieser Inhalt ist noch nicht in Ihrer Sprache verfügbar und wird auf Englisch angezeigt.

Spec To Code Compliance

Plugin Verifiziert Aktiv
Teil von:Trailofbits

Specification-to-code compliance checker for blockchain audits with evidence-based alignment analysis

1 Skill 0 MCPs
Zweck

To enable rigorous, deterministic verification of blockchain code against its documentation, ensuring implementation matches intent and identifying critical compliance gaps.

Funktionen

  • Deterministic spec-to-code alignment analysis
  • Evidence-based mapping with confidence scores
  • Multi-phase workflow from discovery to reporting
  • Classification of misalignments by severity
  • Generation of audit-grade compliance reports

Anwendungsfälle

  • Verifying smart contract implementation against whitepapers
  • Auditing protocol logic for spec adherence
  • Finding gaps between intended and actual code behavior
  • Identifying undocumented code features or missing spec claims

Nicht-Ziele

  • Performing general vulnerability hunting
  • Writing or improving documentation
  • Analyzing non-blockchain projects without formal specifications
  • Inferring or guessing unspecified behavior

Installation

Zuerst Marketplace hinzufügen

/plugin marketplace add trailofbits/skills
/plugin install spec-to-code-compliance@trailofbits

Enthält 1 Erweiterungen

Skill (1)

Spec To Code Compliance Checker Skill

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.

75

Qualitätspunktzahl

Verifiziert
98 /100
Analysiert about 19 hours ago

Vertrauenssignale

Letzter Commit3 days ago
GitHub-Inhaber trailofbits (opens in new tab)
Sterne5.2k
LizenzCC-BY-SA-4.0
Status
Quellcode ansehen

Ähnliche Erweiterungen

Blockchain Web3

98

Smart contract development with Solidity, DeFi protocol implementation, NFT platforms, and Web3 application architecture

Plugin
wshobson

Context7 Plugin

100

Upstash Context7 MCP-Server für die Abfrage aktueller Dokumentationen. Ruft versionsspezifische Dokumentationen und Codebeispiele direkt aus Quell-Repositories in den LLM-Kontext.

Plugin
upstash

Ruflo Security Audit

99

Security review, dependency scanning, policy gates, and CVE monitoring

Plugin
ruvnet

C4 Architecture

99

Comprehensive C4 architecture documentation workflow with bottom-up code analysis, component synthesis, container mapping, and context diagram generation

Plugin
wshobson

Dimensional Analysis

99

Annotates codebases with dimensional analysis comments documenting units, dimensions, and decimal scaling. Use when someone asks to annotate units in a codebase, perform a dimensional analysis, or find vulnerabilities in a DeFi protocol. Prevents dimensional mismatches and catches formula bugs early.

Plugin
trailofbits

Ruflo Knowledge Graph

99

Knowledge graph construction — entity extraction, relation mapping, and pathfinder graph traversal

Plugin
ruvnet