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)
Trit: -1 (MINUS) Category: building-secure-contracts Author: Trail of Bits Source: trailofbits/skills License: AGPL-3.0
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)
This is a Trail of Bits security skill. Refer to the original repository for detailed usage guidelines and examples.
See: https://github.com/trailofbits/skills
This skill connects to Software Design for Flexibility (Hanson & Sussman, 2021):
Concepts: DSL, wrapper, pattern-directed, embedding
secure-workflow-guide (−) + SDF.Ch2 (−) + [balancer] (−) = 0
Skill Trit: -1 (MINUS - verification)
DSLs embed domain knowledge. This skill defines domain-specific operations.
npx skills add plurigrid/secure-workflow-guide下载完整 Skill 目录，包含 SKILL.md 及所有相关文件
Category:other