Echidna é um fuzzer baseado em Haskell que testa smart contracts Ethereum tentando sequências de chamadas para violar invariantes definidos pelo usuário ou assertions de Solidity.
3,2 mil+2 esta semana437HaskellAGPL-3.0Atualizado há 23 horas
trailofbits/skills
Marketplace de skills e plugins da Trail of Bits para agentes de IA, voltado a auditorias de segurança, testes e desenvolvimento seguro no Claude Code e no Codex.
- Estrelas
- 8,061
- Forks
- 683
- Issues abertas
- 141
- Último commit
- ontem
O que é?
Este repositório é um marketplace de plugins com skills para agentes, criados pela Trail of Bits, uma empresa de segurança. Cada plugin reúne um fluxo de trabalho específico, como revisar código C/C++ ou Rust em busca de problemas de segurança, auditar smart contracts, escrever regras Semgrep ou YARA, verificar workflows do GitHub Actions em busca de configurações arriscadas de agentes de IA ou auditar dependências npm, PyPI e Go em busca de avisos de segurança.
Os plugins são agrupados por área: segurança de smart contracts, auditoria de código, análise de malware, verificação (incluindo testes de mutação, testes baseados em propriedades e provas no Lean), engenharia reversa e auxiliares gerais de desenvolvimento, como práticas modernas de C++ e Python. O marketplace é instalado com um único comando no Claude Code e pode ser adicionado ao Codex usando os comandos de plugin; a importação para o workspace do ChatGPT usa o mesmo manifesto.
O repositório também inclui diretrizes de contribuição para quem cria skills e um alvo `make check`, que executa localmente a maioria das verificações de CI. O conteúdo é licenciado sob CC-BY-SA-4.0.
Recursos principais
- 01Instala-se como marketplace no Claude Code e no Codex com um único comando.
- 02Abrange auditoria de smart contracts, revisão de código, análise estática e verificação de riscos em dependências.
- 03Inclui auxiliares para criar regras Semgrep e YARA.
- 04Oferece skills de verificação, como testes de mutação e testes baseados em propriedades.
- 05Oferece um alvo de verificação local que executa a maioria das verificações de CI antes do push.
Casos de uso
- Engenheiros de segurança que auditam bases de código em C, C++, Rust ou Solidity com auxílio de IA.
- Equipes que verificam dependências em busca de avisos de segurança conhecidos e scripts de instalação arriscados.
- Desenvolvedores que escrevem regras personalizadas de detecção em Semgrep ou YARA.
Início rápido
- 1
Adicione o marketplace do Claude Code diretamente no Claude Code
/plugin marketplace add trailofbits/skills - 2
Explore e instale plugins pelo menu de plugins
/plugin menu
Antes de usar
- O conteúdo está licenciado sob CC-BY-SA-4.0, uma licença de compartilhamento pela mesma licença que exige que obras derivadas usem a mesma licença.
- Os plugins foram projetados para os marketplaces de espaços de trabalho do Claude Code, Codex ou ChatGPT e, por isso, não funcionam como software independente.
Em coleções
Tópicos
Perguntas frequentes
- O que é skills?
- Marketplace de skills e plugins da Trail of Bits para agentes de IA, voltado a auditorias de segurança, testes e desenvolvimento seguro no Claude Code e no Codex. Este repositório é um marketplace de plugins com skills para agentes, criados pela Trail of Bits, uma empresa de segurança. Cada plugin reúne um fluxo de trabalho específico, como revisar código C/C++ ou Rust em busca de problemas de segurança, auditar smart contracts, escrever regras Semgrep ou YARA, verificar workflows do GitHub Actions em busca de configurações arriscadas de agentes de IA ou auditar dependências npm, PyPI e Go em busca de avisos de segurança.
- skills é gratuito? Qual é a licença?
- skills é open source sob a licença CC-BY-SA-4.0. Confira os termos da licença antes de usá-lo em produtos comerciais.
- skills ainda é mantido?
- Manutenção ativa. O último commit de skills foi em 6 de nov. de 2026.
- Para que posso usar skills?
- Engenheiros de segurança que auditam bases de código em C, C++, Rust ou Solidity com auxílio de IA. Equipes que verificam dependências em busca de avisos de segurança conhecidos e scripts de instalação arriscados. Desenvolvedores que escrevem regras personalizadas de detecção em Semgrep ou YARA.
- Como instalar skills?
- Adicione o marketplace do Claude Code diretamente no Claude Code: /plugin marketplace add trailofbits/skills Explore e instale plugins pelo menu de plugins: /plugin menu
- Onde consigo skills?
- O código-fonte e as instruções de instalação estão no GitHub: https://github.com/trailofbits/skills
Resumo gerado por IA a partir do README do projeto. As estatísticas do GitHub são atualizadas diariamente.
Projetos relacionados
Ferramenta gratuita e de código aberto que verifica dependências, código e domínios e gera relatórios HTML fáceis de compartilhar.
259+1 esta semana4PythonGPL-3.0Bem mantidoAtualizado há 4 dias
Implementação de referência de um pipeline autônomo para descobrir e corrigir vulnerabilidades com Claude, com skills interativas de segurança para modelagem de ameaças, análise, triagem e correção.
7,7 mil+30 esta semana637PythonOtherAtualizado há 3 meses
Revisão de código com IA e código aberto que analisa as alterações do seu agente antes do push, com Claude Code, Codex, Cursor e Cline.
1,1 mil79TypeScriptApache-2.0Atualizado há 12 horas
Um scanner de segurança best-effort para AI Agent Skills que detecta prompt injection, exfiltração de dados e padrões de código malicioso.
2,7 mil+27 esta semana342PythonOtherAtualizado ontem
Serviço de fuzzing contínuo do Google para projetos de código aberto, que usa libFuzzer, AFL++ e Honggfuzz com sanitizers para encontrar falhas de segurança.
12,9 mil+94 esta semana3 milShellApache-2.0Atualizado ontem