Personal
~/.agents/skills/Project
.trae/skills/One-line install
npx skills add owner/repo/skill --agent traeSkills for Trae
Free agent skills compatible with Trae by ByteDance. Search within them or filter by category, level and popularity.
13 skills
Mermaid to ProVerif
trailofbits
Translate Mermaid diagrams into ProVerif models for verification.
Sharp Edges Analysis
trailofbits
Identify security pitfalls in APIs and configurations.
Entry Point Analyzer
trailofbits
Identify state-changing functions for smart contract audits.
Trailmark Finding Triage
trailofbits
Streamline your security finding analysis with graph evidence.
Constant-Time Testing
trailofbits
Detect timing side channels in cryptographic code.
Solana Vulnerability Scanner
trailofbits
Identify critical vulnerabilities in Solana programs.
Audit Prep Assistant
trailofbits
Streamline your security review preparation process.
Vulnerability Triage Brocards
trailofbits
Streamline your vulnerability assessment process.
Firebase APK Security Scanner
trailofbits
Identify Firebase misconfigurations in Android APKs.
False Positive Check
trailofbits
Systematically verify security bugs to eliminate false positives.
Secure Workflow Guide
trailofbits
Enhance smart contract security with a structured approach.
Trailmark Variant Neighborhood
trailofbits
Expand vulnerabilities into candidate variants for analysis.
Ruzzy Fuzzer
trailofbits
Coverage-guided fuzzing for Ruby applications.
