verification-scaffold-skill
CommunityGenerate security verification artifacts from threat findings.
Software Engineering#checklist#security#verification#threat modeling#formal verification#SVA#assertion
Authordtsong
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill automates the creation of essential security verification artifacts, transforming raw threat findings into actionable checklists, SVA assertion templates, and specification-only descriptions, significantly accelerating the security review process.
Core Features & Use Cases
- Automated Artifact Generation: Creates SVA templates, natural-language properties, and spec-only descriptions based on threat findings.
- Tiered Verification: Organizes verification items into Tier 1 (SVA), Tier 2 (NL properties), and Tier 3 (spec-only) based on verifiability.
- Confidence Propagation: Accurately reflects the confidence of the upstream threat finding in the generated verification item.
- Use Case: After a threat modeling session identifies potential vulnerabilities, this Skill can instantly generate the necessary SVA assertions and review checklists, ensuring comprehensive security coverage and saving significant manual effort.
Quick Start
Use the verification-scaffold-skill to generate verification artifacts for the provided threat findings.
Dependency Matrix
Required Modules
None requiredComponents
scriptsreferences
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: verification-scaffold-skill Download link: https://github.com/dtsong/claude-code-windows-setup/archive/main.zip#verification-scaffold-skill Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.