Echidna es un fuzzer basado en Haskell que prueba smart contracts de Ethereum con secuencias de llamadas para vulnerar invariantes definidas por el usuario o aserciones de Solidity.
3,2 mil+2 esta semana437HaskellAGPL-3.0Actualizado hace 21 horas
trailofbits/skills
Marketplace de skills y plugins de Trail of Bits para auditorías de seguridad, pruebas y desarrollo seguro asistidos por IA en Claude Code y Codex.
- Estrellas
- 8,061
- Forks
- 683
- Issues abiertos
- 141
- Último commit
- ayer
¿Qué es?
Este repositorio es un marketplace de plugins con skills para agentes, creado por Trail of Bits, una empresa de seguridad. Cada plugin reúne un flujo de trabajo específico, como revisar código C/C++ o Rust en busca de problemas de seguridad, auditar smart contracts, escribir reglas de Semgrep o YARA, comprobar si los workflows de GitHub Actions usan configuraciones riesgosas para agentes de IA o auditar dependencias de npm, PyPI y Go en busca de avisos de seguridad.
Los plugins se agrupan por área: seguridad de smart contracts, auditoría de código, análisis de malware, verificación (incluidas las pruebas de mutación, las pruebas basadas en propiedades y las pruebas de Lean), ingeniería inversa y utilidades generales de desarrollo, como prácticas modernas de C++ y Python. El marketplace se instala con un solo comando en Claude Code y se puede agregar a Codex mediante sus comandos de plugins; la importación al espacio de trabajo de ChatGPT usa el mismo manifiesto.
El repositorio también incluye pautas de contribución para quienes crean skills y un objetivo `make check` que ejecuta localmente la mayoría de las comprobaciones de CI. El contenido está bajo la licencia CC-BY-SA-4.0.
Funciones clave
- 01Se instala como marketplace en Claude Code y Codex con un solo comando.
- 02Incluye auditoría de smart contracts, revisión de código, análisis estático y comprobaciones de riesgos en dependencias.
- 03Incluye utilidades para crear reglas de Semgrep y YARA.
- 04Ofrece skills de verificación, como pruebas de mutación y pruebas basadas en propiedades.
- 05Incluye un objetivo de comprobación local que ejecuta la mayoría de las verificaciones de CI antes de hacer push.
Casos de uso
- Ingenieros de seguridad que auditan bases de código C, C++, Rust o Solidity con ayuda de IA.
- Equipos que comprueban dependencias en busca de avisos de seguridad conocidos y scripts de instalación riesgosos.
- Desarrolladores que crean reglas de detección personalizadas de Semgrep o YARA.
Inicio rápido
- 1
Añade el marketplace de Claude Code desde Claude Code
/plugin marketplace add trailofbits/skills - 2
Explora e instala plugins desde el menú de plugins
/plugin menu
Antes de usarlo
- El contenido está bajo la licencia CC-BY-SA-4.0, una licencia copyleft que exige que las obras derivadas utilicen la misma licencia.
- Los plugins están diseñados para los marketplaces de espacios de trabajo de Claude Code, Codex o ChatGPT, por lo que no funcionan como software independiente.
En colecciones
Temas
Preguntas frecuentes
- ¿Qué es skills?
- Marketplace de skills y plugins de Trail of Bits para auditorías de seguridad, pruebas y desarrollo seguro asistidos por IA en Claude Code y Codex. Este repositorio es un marketplace de plugins con skills para agentes, creado por Trail of Bits, una empresa de seguridad. Cada plugin reúne un flujo de trabajo específico, como revisar código C/C++ o Rust en busca de problemas de seguridad, auditar smart contracts, escribir reglas de Semgrep o YARA, comprobar si los workflows de GitHub Actions usan configuraciones riesgosas para agentes de IA o auditar dependencias de npm, PyPI y Go en busca de avisos de seguridad.
- ¿skills es gratuito? ¿Qué licencia tiene?
- skills es open source bajo la licencia CC-BY-SA-4.0. Revisa los términos de la licencia antes de usarlo en productos comerciales.
- ¿skills sigue mantenido?
- Mantenimiento activo. El último commit de skills fue el 6 nov 2026.
- ¿Para qué puedo usar skills?
- Ingenieros de seguridad que auditan bases de código C, C++, Rust o Solidity con ayuda de IA. Equipos que comprueban dependencias en busca de avisos de seguridad conocidos y scripts de instalación riesgosos. Desarrolladores que crean reglas de detección personalizadas de Semgrep o YARA.
- ¿Cómo se instala skills?
- Añade el marketplace de Claude Code desde Claude Code: /plugin marketplace add trailofbits/skills Explora e instala plugins desde el menú de plugins: /plugin menu
- ¿Dónde consigo skills?
- El código fuente y las instrucciones de instalación están en GitHub: https://github.com/trailofbits/skills
Resumen generado por IA a partir del README del proyecto. Las estadísticas de GitHub se actualizan a diario.
Proyectos relacionados
Herramienta gratuita y de código abierto que analiza la seguridad de dependencias, código y dominios, y genera informes HTML fáciles de compartir.
259+1 esta semana4PythonGPL-3.0Bien mantenidoActualizado hace 4 días
Implementación de referencia de un pipeline autónomo para detectar y corregir vulnerabilidades con Claude, con skills de seguridad interactivas para modelar amenazas, escanear, clasificar y parchear.
7,7 mil+30 esta semana637PythonOtherActualizado hace 3 meses
Revisión de código con IA y de código abierto que ejecuta un revisor independiente sobre los cambios de tu agente antes de subirlos, compatible con Claude Code, Codex, Cursor y Cline.
1,1 mil79TypeScriptApache-2.0Actualizado hace 9 horas
Un escáner de seguridad de mejor esfuerzo para AI Agent Skills que detecta prompt injection, exfiltración de datos y patrones de código malicioso.
2,7 mil+27 esta semana342PythonOtherActualizado ayer
Servicio de fuzzing continuo de Google para proyectos de código abierto, que usa libFuzzer, AFL++ y Honggfuzz con sanitizers para detectar fallos de seguridad.
12,9 mil+94 esta semana3 milShellApache-2.0Actualizado ayer