AgentToolHub
SkillClaude CodeCursorClineOpenClawWindsurfVS CodeChatGPT

property-based-testing

Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows

Features

  • ✓Enhance AI-assisted security analysis
  • ✓Vulnerability detection and audit workflows
  • ✓Plugin marketplace integration
  • ✓Codex-native skill discovery
  • ✓Local development support
  • ✓Visit GitHub for more plugins

Installation Guide

Claude Code Marketplace

text
/plugin marketplace add trailofbits/skills

Browse and Install Plugins

text
/plugin menu

Codex

Codex-native skill discovery is supported via the sidecar .codex/skills/ tree in this repository.

Install with:

sh
git clone https://github.com/trailofbits/skills.git ~/.codex/trailofbits-skills
~/.codex/trailofbits-skills/.codex/scripts/install-for-codex.sh

See [.codex/INSTALL.md](.codex/INSTALL.md) for additional details.

Local Development

To add the marketplace locally (e.g., for testing or development), navigate to the parent directory of this repository:

text
cd /path/to/parent  # e.g., if repo is at ~/projects/skills, be in ~/projects
/plugins marketplace add ./skills

Reviews