agentic-actions-audito…
Audits GitHub Actions workflows for security vulnerabilities in AI agent integrations including Claude Code Action, Gemini CLI,…
Smart contract development advisor based on Trail of Bits' best practices. Analyzes codebase to generate documentation/specifications, review architecture, check upgradeability patterns, assess implementation quality, identify pitfalls, review dependencies, and evaluate testing.
Claude Code
$ npx -y skills add trailofbits/skills --skill guidelines-advisor --agent claude-code
Codex
$ npx skills add trailofbits/skills --skill guidelines-advisor -a codex -y
Cursor
$ npx skills add trailofbits/skills --skill guidelines-advisor -a cursor -y
Gemini CLI
$ npx skills add trailofbits/skills --skill guidelines-advisor -a gemini-cli -y
GitHub Copilot
$ npx skills add trailofbits/skills --skill guidelines-advisor -a github-copilot -y
OpenCode
$ npx skills add trailofbits/skills --skill guidelines-advisor -a opencode -y
Windsurf
$ npx skills add trailofbits/skills --skill guidelines-advisor -a windsurf -y
name: guidelines-advisor description: Smart contract development advisor based on Trail of Bits' best practices. Analyzes codebase to generate documentation/specifications, review architecture, check upgradeability patterns, assess implementation quality, identify pitfalls, review dependencies, and evaluate testing. Use when asking whether a smart contract project follows development best practices, reviewing on-chain/off-chain split, upgradeability, or delegatecall proxy patterns against guidelines, or seeking recommendations on contract design, inheritance, events, documentation, dependencies, or test strategy.
Systematically analyzes the codebase and provides guidance based on Trail of Bits' development guidelines:
1. **Generate documentation and specifications** (plain English descriptions, architectural diagrams, code documentation) 2. **Optimize on-chain/off-chain architecture** (only if applicable) 3. **Review upgradeability patterns** (if your project has upgrades) 4. **Check delegatecall/proxy implementations** (if present) 5. **Assess implementation quality** (functions, inheritance, events) 6. **Identify common pitfalls** 7. **Review dependencies** 8. **Evaluate test suite and suggest improvements**
**Framework**: Building Secure Contracts - Development Guidelines
---
Explores the codebase to understand:
Helps create:
Analyzes:
Assesses:
Provides:
---
I analyze 11 comprehensive areas covering all aspects of smart contract development. For detailed criteria, best practices, and specific checks, see [ASSESSMENT_AREAS.md](resources/ASSESSMENT_AREAS.md).
1. **Documentation & Specifications**
2. **On-Chain vs Off-Chain Computation**
3. **Upgradeability**
4. **Delegatecall Proxy Pattern**
5. **Function Composition**
6. **Inheritance**
7. **Events**
8. **Common Pitfalls**
9. **Dependencies**
10. **Testing & Verification**
11. **Platform-Specific Guidance**
For complete details on each area including what I'll check, analyze, and recommend, see [ASSESSMENT_AREAS.md](resources/ASSESSMENT_AREAS.md).
---
When the analysis is complete, you'll receive comprehensive guidance covering:
For a complete example analysis report, see [EXAMPLE_REPORT.md](resources/EXAMPLE_REPORT.md).
---
I provide four comprehensive deliverable categories:
For detailed templates and examples of each deliverable, see [DELIVERABLES.md](resources/DELIVERABLES.md).
---
When invoked, I will:
1. **Explore the codebase**
2. **Generate documentation**
Trail of Bits skills and plugins for AI-assisted security analysis, testing, and development. Install this marketplace in Claude Code or Codex, or import it into your ChatGPT workspace marketplace.
Audits GitHub Actions workflows for security vulnerabilities in AI agent integrations including Claude Code Action, Gemini CLI,…
Understand a codebase before looking for bugs in it - what each function assumes, what it guarantees, and what it depends on…
Scans Algorand smart contracts for 11 common vulnerabilities including rekeying attacks, unchecked transaction fees, missing…
Prepares codebases for security review using Trail of Bits' checklist. Helps set review goals, runs static analysis tools,…
Scans Cairo/StarkNet smart contracts for 6 critical vulnerabilities including felt252 arithmetic overflow, L1-L2 messaging…
Systematic code maturity assessment using Trail of Bits' 9-category framework. Analyzes codebase for arithmetic safety, auditing…
Use for authorized security assessment of REST, GraphQL, WebSocket, or SOAP APIs, including discovery, authentication,…
Extract and decrypt Windows DPAPI-protected secrets (Credential Manager, browser logins/cookies, Wi-Fi credentials, KeePass keys)…
Clean and finalize authorized natural-language text intended for readers by auditing suspicious invisible Unicode and rewriting…