secure-workflow-guide
Secure your smart contracts from scan to action plan.
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
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.
Access · 0
No additional actions listed.