Trail of Bits Skills Marketplace

Habilidades do Claude Code para segurança e desenvolvimento em Solidity. O solidity-auditor fornece feedback de segurança rápido (geralmente em menos de 5 minutos) sobre alterações em Solidity enquanto você desenvolve. Funciona com a CLI do Claude Code, a extensão Claude para VSCode e o Cursor.

Habilidades de agente para o desenvolvimento seguro de contratos inteligentes com as bibliotecas OpenZeppelin Contracts, incluindo fluxos de trabalho de configuração e atualização para Solidity e outros ecossistemas.

Plugin do Claude com padrões de desenvolvimento em Solidity para código de nível de produção. Mais minucioso em testes, qualidade de código e sensibilidade de contratos inteligentes. Instale através do marketplace da Cyfrin. Por Patrick Collins e a equipe da Cyfrin.

Habilidade do Claude Code que verifica bases de código em Solidity em busca de vulnerabilidades de segurança usando 36 tipos exclusivos de vulnerabilidade. Auditoria em quatro fases: carregar folha de dicas (cheatsheet), varredura sintática e semântica da base de código, validação profunda com arquivos de referência e relatório. Referências de smart-contract-vulnerabilities.

Habilidades de agente de IA para auditoria de segurança de contratos inteligentes. Dez plugins cobrindo reentrada, oráculo/empréstimo relâmpago, proxy/atualização, invariantes de estado, guardas semânticas e muito mais. Metodologia QuillShield para vulnerabilidades que a análise estática tradicional não detecta. Funciona com Claude e Cursor.

Auditor de segurança de contratos inteligentes para Claude Code e Codex CLI. Integra o Slither, Aderyn, checklist da Cyfrin e descobertas do Solodit. Metodologia Map-Hunt-Attack com quatro ferramentas MCP para análise estática e pesquisa de descobertas.