secure-workflow-guide

SAFE max severity SAFESkillSpector Safe 7 registry trailofbits last scanned 1 scan

No security findings. Scanned 1 time, most recently 2026-02-06.

Second scanner: NVIDIA SkillSpector

Independent static run, no language model, over the same files as the Cisco scan above. How the two scanners compare across the whole corpus: Two scanners, one corpus.

What this skill does

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.

Package
3 files, 17 KB
SKILL.md
877 words, 12+ sections
Code
None. Instructions only.

SKILL.md covers: Secure Workflow Guide · Purpose · The 5-Step Workflow · Step 1: Check for Known Security Issues · Step 2: Check Special Features · Step 3: Visual Security Inspection · Step 4: Document Security Properties · Step 5: Manual Review Areas · How I Work · Rationalizations (Do Not Skip) · Example Output · What You'll Get

Findings

No findings. SAFE

What is in the package

FileKindSize
SKILL.mddoc6.4 KB
resources/EXAMPLE_REPORT.mddoc7.2 KB
resources/WORKFLOW_STEPS.mddoc3.0 KB

External hosts referenced

meetings.hubspot.com

Hostnames that appear in the skill's files. Referencing a host is not a finding; compare against the findings above and the skill's stated purpose.

Package contents recorded 2026-10-22 at commit a50696e20581. The scan above ran against the version current at scan time; the two can differ if the skill has since been updated.

What we checked

What we did not check

Sources