secure-workflow-guide
trailofbitsSecure your smart contracts from scan to action plan.
smart contract security
What it does
Produces an end-to-end smart contract security report with diagrams, documented properties, testing setup, findings, and a prioritized action plan.
When to use it
Use it for end-to-end smart contract security, recurring check-in reviews, pre-deployment checks, Slither triage, or initial security guidance.
How to use it
Give it a smart contract project; it runs the five-step workflow and produces project-specific security artifacts and an action plan.
What you provide
- An existing project
Access · 0
No additional actions listed in the analysis.
What you need · 3
Slither must be installed and runnable to perform the required security scan and diagram commands.
Echidna is required to set up and run the workflow's property-based fuzzing.
Manticore optionally enables formal verification after the main fuzzing setup.
About this skill
- Visibility
- Public
- Repository
- trailofbits/skills
- Created
- Oct 8, 2026
- Updated
- Oct 8, 2026
- Files
- 5