Seguridad y Calidad

Trail of Bits Security Skills

por Trail of Bits 28k Estrellas en GitHub

Vulnerability scanning, contract auditing, CodeQL/Semgrep analysis, and property-based testing from Trail of Bits.

#security#semgrep#codeql#audit

Claude Code Codex Cursor Gemini CLI

Descripción General

Trail of Bits' security skill suite provides professional-grade vulnerability scanning, smart-contract auditing, differential code review, CodeQL/Semgrep analysis, and property-based testing. Cataloged in VoltAgent's awesome-agent-skills, these bring expert security tooling to an agent.

Para qué sirve

Scanning code for vulnerabilities
Writing Semgrep rules
Auditing a smart contract
Property-based security testing

Instalar

Instalar en Claude Code

# This skill is catalogued in a community "awesome" list.
# Open the source to find the skill's own repo, then add it as a marketplace:
/plugin marketplace add VoltAgent/awesome-agent-skills
/plugin install trail-of-bits-security

Instalar en Codex

# Codex reads SKILL.md skills from ~/.codex/skills (auto-detected):
git clone https://github.com/VoltAgent/awesome-agent-skills.git
cp -r awesome-agent-skills/trail-of-bits-security ~/.codex/skills/trail-of-bits-security

# Then reference the skill in Codex — it loads on demand.

Visitar Fuente (GitHub)

Explora herramientas de IA

Las mejores herramientas de IA que complementan tus habilidades

Lee artículos sobre IA y diseño

Consejos y tendencias en el mundo del diseño y la IA

Skills Relacionados

Seguridad y Calidad

Code Review and Quality

Perform a five-axis code review with severity labels covering correctness, design, and maintainability.

Claude Code Codex

Seguridad y Calidad

Code Simplification

Reduce complexity while preserving behavior — remove dead code, flatten logic, and improve readability.

Claude Code Codex

Seguridad y Calidad

Security and Hardening

Prevent OWASP-class vulnerabilities and audit dependencies to harden applications against attack.

Claude Code Codex