AIniverse Get the App

secure-workflow-guide

by trailofbits · Github

Guides through Trail of Bits' 5-step secure development workflow. Runs Slither scans, checks special features (upgradeability/ERC conformance/token integration), generates visual security diagrams, helps document security properties for fuzzing/verification, and reviews manual security areas. Use when securing a smart contract end to end rather than hunting one bug, checking a project on every check-in or before deployment, triaging a Slither report, or asking where to start on smart contract security.

Add secure-workflow-guide to your agent in AIniverse

Discover more reusable skills, save them to your stack, get notified when new ones land.

Open in App · skills.sh

More agent skills

find-skills

Helps users discover and install agent skills when they ask questions like "how do I do X", "find a skill for X", "is...

gstack-autoplan

Fully reviewed plan running CEO → design → eng review automatically.

android-agp-9-upgrade

Upgrades, or migrates, an Android project to use Android Gradle Plugin (AGP) version 9. Do not use this skill for mig...

gstack-benchmark

Baseline page load times, Core Web Vitals, and resource sizes.