Claude Code
com o Claudinho
O Claude no terminal: o que o Vagner usa nos vídeos.
Mermaid To Proverif skill
Traduz diagramas de sequência Mermaid de protocolos criptográficos em modelos ProVerif de verificação formal
- instalações
- 3.900
- estrelas no GitHub
- 7.802
- No skills.sh desde
- março de 2026
- Licença
- CC-BY-SA-4.0
Atualizada no GitHub em 24 de outubro de 2026. Dados conferidos em 26 de outubro de 2026, no skills.sh e no GitHub.
Nas palavras de quem fez
Translates Mermaid sequenceDiagrams describing cryptographic protocols into ProVerif formal verification models (.pv files). Use when generating a ProVerif…
Segurança
Gen Agent Trust Hub, Socket e Snyk leem o código da skill atrás de comando perigoso, dado vazando e instrução escondida. Alerta não é reprovação: quer dizer que vale ler o que a skill faz antes de instalar.
- Gen Agent Trust HubPassou
- SocketPassou
- SnykPassou
Perguntas
Como instalar a Mermaid To Proverif no Claude Code?
Toca em Levar, aqui nesta página, e deixa seu nome, e-mail e WhatsApp (é uma vez só). Aparece uma frase pronta: cola ela no Claude Code, que ele mesmo instala a Mermaid To Proverif, e a skill passa a valer na próxima conversa. A mesma frase serve no Codex. Se preferir fazer na mão, o passo a passo está em como instalar skills no Claude Code.
Levar essa skill
1x mermaid-to-proverifR$ 0,00
TotalR$ 0,00
Levar precisa do JavaScript ligado. O código da skill está no GitHub: github.com/trailofbits/skills
Aprenda a usar
- Vibe coding: o que é e como usar pra fazer site
Vibe coding é programar pedindo em português pra IA, sem escrever código. Veja de onde veio o termo, como fazer no Claude Code e onde ele quebra.
Na mesma prateleira
Ver as 955 skills do corredortrailofbits
semgrep
O Claude procura falhas de segurança no seu código com o Semgrep, mostra o plano antes de rodar e entrega um relatório único com o que achou.9.500 instalações, grátiscodeql
O Claude monta o banco do CodeQL, roda as regras de segurança e entrega as falhas num relatório SARIF, sem pular etapa.Auditada8.300 instalações, grátisOpenClaw
1password
O Claude puxa a senha do banco ou a chave da API do seu cofre do 1Password na hora de rodar o comando, sem deixar o segredo no código nem na conversa.Auditada6.300 instalações, grátisAuth0
auth0
O Claude identifica o framework do seu projeto, lê o guia certo do Auth0 e coloca login e proteção de rotas sem chute.OficialAuditada5.200 instalações, grátisgiuseppe-trisciuoglio
better-
O Claude monta o login do seu app em quatro fases, do banco de dados às páginas protegidas, conferindo cada etapa antes de seguir.Auditada3.600 instalações, grátisauth workos
workos
O Claude roda o instalador da WorkOS, liga o login no seu projeto e testa entrada, saída e redirecionamento antes de dizer que está pronto.Auditada3.400 instalações, grátishoodini
owasp-
O Claude escreve e revisa o código do seu site ou API conferindo as dez falhas de segurança mais comuns da web, com o jeito certo de evitar cada uma.Auditada3.000 instalações, grátissecurity unicodeveloper
shannon
O Claude prepara e roda um teste de invasão no seu app em homologação e devolve as falhas com a prova de cada ataque que funcionou.2.900 instalações, grátis
Mais da loja trailofbits
Ver a loja trailofbitsdifferential-
Faz revisão de segurança das mudanças de código, adaptada ao tamanho do projeto e com raio de impactoAuditada8.800 instalações, grátisreview modern-
Configura projetos Python com ferramentas modernas (uv, ruff, ty) e migra de pip, Poetry, mypy e blackAuditada8.700 instalações, grátispython supply-
Audita as dependências de um projeto atrás de risco na cadeia de suprimentos e pacotes abandonadosAuditada8.200 instalações, grátischain- risk- auditor secure-
Guia o fluxo de desenvolvimento seguro em 5 passos da Trail of Bits para smart contracts, com SlitherAuditada7.400 instalações, grátisworkflow- guide code-
Avalia a maturidade do código nas 9 categorias da Trail of Bits, como segurança aritmética e acessoAuditada7.100 instalações, grátismaturity- assessor fp-
Verifica bugs de segurança suspeitos para eliminar falsos positivos, com veredito e evidências documentadasAuditada7.000 instalações, grátischeck property-
Escreve, revisa e depura testes baseados em propriedades com Hypothesis, fast-check, proptest e outrosAuditada7.000 instalações, grátisbased- testing sharp-
Aponta APIs propensas a erro, configurações perigosas e designs armadilha que levam a falhas de segurança6.900 instalações, grátisedges ask-
Esclarece os requisitos antes de implementar quando o pedido está vagoAuditada6.800 instalações, grátisquestions- if- underspecified audit-
Entende o código antes de caçar bugs: o que cada função assume, garante e de quem dependeAuditada6.800 instalações, grátiscontext- building agentic-
Audita workflows do GitHub Actions com agentes de IA, como Claude Code e Gemini CLI, atrás de vulnerabilidades6.700 instalações, grátisactions- auditor gh-
Força o uso do gh CLI autenticado no lugar de curl, WebFetch e MCP fetch ao trabalhar com GitHub6.600 instalações, grátiscli