Skill do Claude para auditoria de smart contracts

Name: Skill de AI para auditor de segurança de smart contracts - Roswitha
Brand: KissMySkills
Price: 19 USD
Availability: InStock

Smart Contract Security Auditor, Roswitha AI skill by KissMySkills, cover

Skill de AI para auditor de segurança de smart contracts - Roswitha

Analise o código Solidity com base em uma taxonomia fixa de vulnerabilidades.

$19 esta skill pagamento único seu para sempre

Pacote de skill para Claude download imediato

Plano Library

Leve este item (skill) e mais 2.500+

$9/mês ou $59 por ano

Assine o Library · $9/mêsAssinar Library

Teste grátis por 7 dias: skillExperimentar grátis

7 dias grátis, sem cartão
Cancele quando quiser
Reembolso em 30 dias no primeiro pagamento

Nada é cobrado. 2 dias antes do fim do teste chega um código de −30% para o seu primeiro pagamento.

Funciona no Claude, ChatGPT, Claude Code, Codex e Cursor com um único conector
Todas as skills, pacotes de prompts e agentes, além do AI CRM e das ferramentas durante o teste
Cancele quando quiser

Por que uma assinatura? Como funciona

Precisa só deste arquivo (skill)?

Um arquivo, pagamento único. Sem atualizações, sem conector.

Custa mais ou menos o mesmo que 2 meses de Library.

$19

Pay once, keep foreverInstant download30-day money-back guarantee

Como visto emProduct Hunt Fazier KittyLaunch

Funciona com

Checkout seguro pela Stripe

Marcas registradas de seus respectivos proprietários. KissMySkills não é afiliado nem endossado por eles.

Como funciona

Ask it something hard.

LOADED ✓

Protocolo DeFi, auditoria na próxima semana: os testes passam com 98% de cobertura, e a equipe trata a auditoria como uma formalidade. O que o auditor verá que nós não vemos?

CLAUDE · WITH THIS SKILL 98% de cobertura prova que o código faz o que você esperava nos inputs que imaginou - a auditoria trata dos inputs que você não imaginou: reentrância por meio do callback do token que você autorizou, manipulação do oráculo dentro de um único bloco via flash loan, direção do arredondamento na matemática de shares vazando valor ao longo de 10.000 pequenos depósitos, divergência no controle de acesso entre módulos. O melhor uso da semana: anote suas invariantes - o total de shares é igual aos depósitos menos os saques, e o restante - e faça fuzzing delas com testes de invariantes do Echidna ou do Foundry; as equipes normalmente encontram 2-3 falhas antes que o relatório as encontre. Quais feeds de oráculo determinam os preços e um flash loan pode movê-los dentro de uma única transação?

Ou tenha todas as skills dentro da sua IA.

0:16 · sem som

Todas as 2.500+ com Library · $9/mês →

Dúvidas antes de comprar? Uma pessoa responde, geralmente no mesmo dia: hello@kissmyskills.com

// o próprio arquivo

Leia antes de comprar.

As primeiras linhas do arquivo que sua IA vai ler, exatamente como é entregue. Nada reescrito para a página.

// o skill que faz sua IA funcionar

Você é Roswitha, uma auditora de segurança de contratos inteligentes que lê o código Solidity linha por linha com base em uma taxonomia de vulnerabilidades e, depois, analisa manualmente cada resultado do Slither e do Mythril. Você foi ativada para dizer ao usuário o que um invasor alcançaria primeiro.

Adicione Roswitha ao Claude e obtenha uma Auditora Sênior de Segurança de Smart Contracts que revisa contratos Solidity (e contratos em outras linguagens da EVM) como uma empresa profissional de auditoria faria: como uma revisora independente, sem interesse em que o código seja lançado dentro do prazo. Roswitha não escreve contratos de produção. Ela os lê, os explora e informa exatamente o que será explorado e quanto isso custará se acontecer. Roswitha trata uma auditoria como um exercício adversarial, não como uma simples verificação de lint. Um contrato que compila sem problemas e passa por uma suíte de testes do caminho feliz não informou nada sobre sua capacidade de resistir a um agente malicioso com capital ilimitado, empréstimos instantâneos e ferramentas de MEV. O trabalho de Roswitha é pensar primeiro como esse agente e, depois, registrar o que encontrou em um relatório que uma parte interessada não técnica possa usar e que um engenheiro possa corrigir. Roswitha cobre todo o ciclo de auditoria: revisão manual do código com base em uma taxonomia de vulnerabilidades, ferramentas de análise estática, fuzzing e verificação formal,

SKILL.md · 221 linhas · download imediato

// o que vem incluído

O que vem neste skill

Revisão com base em uma taxonomia fixa de vulnerabilidades
Cada alerta de análise estática confirmado ou descartado manualmente
Constatações classificadas por impacto e probabilidade, não pela gravidade indicada pela ferramenta
Lista de correções com o código corrigido ao lado

Equipes de Solidity e fundadores de protocolos separando os resultados do Slither entre bugs reais e ruído.

// duas formas de ter

Use dentro da sua IA ou baixe uma vez.

Plano Library

Esta skill e mais 2.500+, dentro do seu chat

$9/mês cancele quando quiser, ou $59 por ano

Todas as 2.500+ skills, pacotes de prompts e agentes, carregados assim que você pede
Nada para baixar ou colar: conecte uma vez no Claude, ChatGPT, Claude Code ou Cursor
Novas skills toda semana e 10 arquivos do catálogo por mês para baixar

Assine o Library · $9/mês Teste grátis por 7 dias

Compare Library, AI CRM e Both

Compra única

Só esta skill, como arquivo

$19 pagamento único

Baixe após a compra e cole em qualquer chat de IA
Um arquivo, sem atualizações, sem conector
Garantia de reembolso de 30 dias

Já tem Library ou Both? Este já está incluído, não precisa comprar o arquivo.

Funciona com

Marcas registradas de seus respectivos proprietários. KissMySkills não é afiliado nem endossado por eles.

// peça ao seu assistente

Ou deixe sua IA configurar esta skill para você.

Acesse kissmyskills.com/pages/connector e configure para mim a skill "Skill de AI para auditor de segurança de smart contracts - Roswitha" (handle: roswitha-smart-contract-security-auditor-ai-skill)

Cole no Claude, ChatGPT, Claude Code, Cursor ou Codex. Sua IA guia você na conexão do KissMySkills (cerca de 3 minutos, 7 dias de teste grátis) e carrega a skill. O que sua IA vai ler →

O que você está comprando de verdade

Trate uma suíte de testes aprovada como prova de nada sobre a segurança de um contrato.

Roswitha é uma especialista sênior em auditoria de segurança de contratos inteligentes que analisa contratos Solidity como revisora independente, sem qualquer interesse em que o código seja lançado dentro do prazo. Ela realiza revisão manual do código com base em uma taxonomia fixa de vulnerabilidades (reentrância, manipulação de oráculos, ataques de empréstimo relâmpago, falhas de controle de acesso), análise estática com Slither e Mythril, fuzzing e testes de invariantes com Echidna e Foundry, classificação de gravidade e redação completa de relatórios de auditoria com orientações de correção.

Para quem é

equipes e auditores que revisam um contrato inteligente antes ou depois da implantação, trabalhando a partir de um contrato que Baldric ou outra equipe já escreveu.

Principais capacidades

Lê cada chamada externa, alteração de estado e modificador de controle de acesso com base em uma lista de verificação fixa de vulnerabilidades antes de usar qualquer ferramenta.
Executa Slither e Mythril e, em seguida, confirma manualmente cada linha sinalizada antes de incluí-la em um relatório.
Cria testes de invariantes com Echidna ou Foundry em torno de propriedades que nunca podem ser violadas (limite de oferta, solvência), em vez de testar apenas as funções mais fáceis.
Classifica a gravidade considerando impacto e probabilidade em conjunto, nunca apenas o impacto.
Redige orientações de correção como uma verificação ou padrão nomeado, nunca como "adicione uma validação adequada".

Como usar

Cole o SKILL.md da Roswitha nas instruções do projeto do Claude (ou no prompt do sistema de qualquer AI) e descreva seu problema de auditoria de segurança de contratos inteligentes. Funciona com Claude, ChatGPT e qualquer chat de AI. Instalação em menos de 2 minutos.

// como instalar Em menos de 2 minutos

Quatro passos. Qualquer chat de AI.

01
Baixar o arquivo
Após a compra, o link de download chega ao seu e-mail. Salve o arquivo .skill: o Claude aceita como está.
02
Abra seu chat de AI
Qualquer chat de IA que você já usa: Claude, ChatGPT, Gemini, Grok, Copilot ou outro.
03
Adicione à sua IA
Claude: em Settings → Capabilities → Skills, envie o arquivo .skill. ChatGPT, Gemini e outros: abra o arquivo .skill como um arquivo .zip e cole o SKILL.md nas instruções personalizadas ou do projeto.
04
Comece a trabalhar
Sua AI agora está configurada como especialista. Pergunte qualquer coisa dentro da área de especialização dela.

Nenhum conhecimento técnico necessário.

Com o Library, não há nada para baixar. Conecte sua IA uma vez e é só pedir: "Carregue Skill de AI para auditor de segurança de smart contracts do KissMySkills."

Guia de configuração → Library · $9/mês →

// faq

Dúvidas sobre este produto

Com quais ferramentas de AI isso funciona?+

Qualquer chat de AI que aceite instruções personalizadas - Claude, ChatGPT, Gemini e outros. Cole o conteúdo de SKILL.md nas instruções do seu projeto ou no prompt do sistema.

Como faço para instalar?+

Baixe o arquivo e cole todo o conteúdo no campo de instruções personalizadas, instruções do projeto ou prompt do sistema da sua AI. Leva menos de 2 minutos.

Isso é um curso ou uma ferramenta?+

É uma ferramenta - uma persona especializada estruturada e um fluxo de trabalho, não um curso em vídeo. Você a utiliza imediatamente colando-a no seu chat de AI.

A Roswitha aprova um contrato depois de executar o Slither uma única vez?+

Nunca com base em um único método. A revisão manual linha por linha, a análise estática (Slither/Mythril), com cada alerta confirmado manualmente, e os testes fuzzing ou de invariantes com Echidna/Foundry são todos executados antes da emissão de um relatório, porque cada método detecta o que os outros não detectam.