skill tag
spec▌
12 indexed skills · max 10 per page
skills (12)
spec-to-code-compliance
trailofbits/skills · Productivity
Verifies code implements exactly what documentation specifies for blockchain audits. \n \n Performs deterministic, line-by-line semantic analysis of code against specification documents, whitepapers, or design docs to identify gaps and misalignments \n Extracts specification intent and code behavior into structured intermediate representations (Spec-IR, Code-IR, Alignment-IR) with full traceability and confidence scores \n Classifies divergences by severity (critical, high, medium, low) with evi
write-spec
anthropics/knowledge-work-plugins · Productivity
If you see unfamiliar placeholders or need to check which tools are connected, see CONNECTORS.md.