Trail of Bits Skills Marketplace

Habilidades de Claude Code para la seguridad y el desarrollo de Solidity. solidity-auditor proporciona comentarios de seguridad rápidos (generalmente en menos de 5 minutos) sobre los cambios de Solidity mientras desarrolla. Funciona con la CLI de Claude Code, la extensión de Claude para VSCode y Cursor.

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.