Ferramentas de agente

QuillShield Security Skills

Habilidades de agente

Segurança · Solidity · Análise estática

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.

Recursos relacionados

Pashov Audit Group Skills

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.

Trail of Bits Skills Marketplace

Um marketplace de plugins do Claude Code da Trail of Bits que fornece habilidades para aprimorar fluxos de trabalho de análise de segurança, testes e desenvolvimento assistidos por IA.

OpenZeppelin Skills

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.

Cyfrin solskill

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.

SCV Scan

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.

sc-auditor

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.