{ "name": "spec-to-code-compliance", "version": "1.1.0", "description": "Specification-to-code compliance checker for blockchain audits with evidence-based alignment analysis", "author": { "name": "Omar Inuwa", "email": "opensource@trailofbits.com", "url": "https://github.com/trailofbits" } }
Claude Plugin
spec-to-code-compliance
Specification-to-code compliance checker for blockchain audits with evidence-based alignment analysis
Editor's Note
Specification-to-code compliance checker for blockchain audits with evidence-based alignment analysis
Plugin Overview
This item is backed by a plugin manifest rather than a `SKILL.md` file, so the most useful fields are surfaced here first.
Plugin Name
spec-to-code-compliance
Version
1.1.0
Author
Omar Inuwa (opensource@trailofbits.com)
Manifest Description
Specification-to-code compliance checker for blockchain audits with evidence-based alignment analysis
Raw Manifest
The structured plugin fields above are derived from the same upstream manifest shown below.
Related Items
Claude Plugin
audit-context-building
Build deep architectural context through ultra-granular code analysis before vulnerability hunting
Claude Plugin
burpsuite-project-parser
Search and extract data from Burp Suite project files (.burp) for security analysis
Claude Plugin
differential-review
Security-focused differential review of code changes with git history analysis and blast radius estimation
Claude Plugin
zeroize-audit
Detects missing or compiler-optimized zeroization of sensitive data with assembly and control-flow analysis
