secure-workflow-guide
A 5-step smart contract security workflow using Slither, Echidna, and manual review to identify vulnerabilities.
Install
npx skills add https://github.com/trailofbits/skills --skill secure-workflow-guideStats
| Total installs | 1,363 |
| Weekly installs | 1.4K |
| GitHub stars | 4.0K |
| First seen | Jan 19, 2026 |
| Source | @trailofbits/skills |
Summary
- Runs Slither with 70+ detectors to identify known vulnerabilities, then checks for special features like upgradeability risks, ERC conformance, and token integration patterns
- Generates three security diagrams (inheritance graph, function visibility, state variable authorization) to reveal architectural vulnerabilities that text descriptions miss
- Guides documentation of critical security properties (state machines, access control, arithmetic constraints) and sets up property-based fuzzing with Echidna or formal verification with Manticore
- Analyzes manual review areas automated tools miss: privacy leaks, front-running risks, cryptography weaknesses, and DeFi interaction hazards with codebase pattern matching
Tags
Related skills
| Skill | Installs | vs secure-workflow-guide |
|---|---|---|
| convex-http-actions | 1,534 | +171 |
| okx-dex-trenches | 1,360 | -3 |
| modern-python | 1,399 | +36 |
| nodejs-best-practices | 1,287 | -76 |
| convex-security-check | 1,509 | +146 |
FAQ
- How many installs does secure-workflow-guide have?
- secure-workflow-guide has 1,363 total installs and 1.4K installs this week.
- Where is secure-workflow-guide hosted?
- secure-workflow-guide is published by @trailofbits/skills at https://github.com/trailofbits/skills.
- How many GitHub stars does secure-workflow-guide have?
- secure-workflow-guide has 4.0K GitHub stars.
- When was secure-workflow-guide first indexed?
- OrangeBot.AI first indexed secure-workflow-guide on Jan 19, 2026.
- How do I install secure-workflow-guide?
- Run: npx skills add https://github.com/trailofbits/skills --skill secure-workflow-guide