secure-workflow-guide
CommunityGuides secure development for smart contracts.
Authorroderik
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill guides developers through Trail of Bits' 5-step secure development workflow for smart contracts, ensuring security checks are performed at each stage of development.
Core Features & Use Cases
- Runs Slither scans to identify vulnerabilities and triage findings.
- Checks upgradeability, ERC conformance, and token integration to ensure standards compliance.
- Generates visual security diagrams and documents security properties for fuzzing and formal verification.
- Provides a structured manual review checklist to catch issues automated tools miss.
Quick Start
Trigger the Secure Workflow Guide on your Solidity codebase to start the 5-step process. Examples: run the skill in CLI or call it through your agent. Then follow Step 1: run Slither, Step 2: check features, Step 3: generate diagrams, Step 4: document properties, Step 5: perform manual review.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 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: secure-workflow-guide Download link: https://github.com/roderik/mpe/archive/main.zip#secure-workflow-guide 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 471,000+ vetted skills library on demand.