secure-workflow-guide by trailofbits

Guide you 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. (project, gitignored)

Testing
3.0K Stars
235 Forks
Updated Jan 26, 2026, 01:31 AM

Why Use This

This skill provides specialized capabilities for trailofbits's codebase.

Use Cases

  • Developing new features in the trailofbits repository
  • Refactoring existing code to follow trailofbits standards
  • Understanding and working with trailofbits's codebase structure

Install Guide

2 steps
  1. 1

    Download Ananke

    Skip this step if Ananke is already installed.

  2. 2

    Install inside Ananke

    Click Install Skill, paste the link below, then press Install.

    https://github.com/trailofbits/skills/tree/main/plugins/building-secure-contracts/skills/development-guidelines/secure-workflow-guide

Skill Snapshot

Auto scan of skill assets. Informational only.

Valid SKILL.md

Checks against SKILL.md specification

Source & Community

Repository skills
Skill Version
main
Community
3.0K 235
Updated At Jan 26, 2026, 01:31 AM

Skill Stats

SKILL.md 0 Lines
Total Files 1
Total Size 0 B
License CC-BY-SA-4.0