Pashov Audit Group Skills

Un mercado de complementos de Claude Code de Trail of Bits que proporciona habilidades para mejorar los flujos de trabajo de análisis de seguridad, pruebas y desarrollo asistidos por IA.

Habilidades de agente para el desarrollo seguro de contratos inteligentes con las bibliotecas de OpenZeppelin Contracts, incluidos los flujos de trabajo de configuración y actualización para Solidity y otros ecosistemas.

Complemento de Claude con estándares de desarrollo de Solidity para código de nivel de producción. Más exhaustivo en pruebas, calidad de código y sensibilidad de contratos inteligentes. Instálalo a través del mercado de Cyfrin. Por Patrick Collins y el equipo de Cyfrin.

Habilidad de Claude Code que escanea bases de código de Solidity en busca de vulnerabilidades de seguridad utilizando 36 tipos de vulnerabilidades únicos. Auditoría de cuatro fases: carga de hoja de trucos, barrido sintáctico y semántico de la base de código, validación profunda con archivos de referencia e informe. Referencias de smart-contract-vulnerabilities.

Habilidades de agente de IA para la auditoría de seguridad de contratos inteligentes. Diez complementos que cubren reentrada, oráculo/préstamo relámpago, proxy/actualización, invariantes de estado, guardias semánticas y más. Metodología QuillShield para vulnerabilidades que el análisis estático tradicional pasa por alto. Funciona con Claude y Cursor.

Auditor de seguridad de contratos inteligentes para Claude Code y la CLI de Codex. Integra Slither, Aderyn, la lista de verificación de Cyfrin y los hallazgos de Solodit. Metodología Map-Hunt-Attack con cuatro herramientas MCP para análisis estático y búsqueda de hallazgos.