← Voltar
75/100r/ethdev · @nebojsakonsta · Wevolv3 · Development

Solidity Security Audit AI Solutions

Abrir no Reddit ↗
💡 Por que é um lead: [PROJECT/ENGAGEMENT] Founder de projeto cripto (DeFiMath) pedindo feedback sobre ferramentas de auditoria; agrega valor mencionando dev Web3 da Wevolv3, mas não há pedido direto de serviço de marketing/growth.

Post original

Hey, I’m looking to do automated security audit for my Solidity library - DefiMath using some AI auditor (with the help of Claude Code) before hiring actual human team. So far I’ve found Krait from ZealynxSecurity, looks legit and want to try it. Does anyone have experience with their project? What are you guys using, and can you link to audit report created by automated tool?   submitted by   /u/nebojsakonsta [link]   [comments]

Rascunhos

Resposta pública
havent used Krait but for ai solidity checks i've had decent results with slither + gpt-4 combo for static analysis. still nothing beats a proper manual audit for defi stuff imo, especially math libraries. maybe run both before going full human team?
DM
yo saw ur post about ai audits for defimath, been down that rabbit hole myself lol. i work closely with wevolv3 and theyve shipped a bunch of defi contracts w heavy math, so im pretty familiar w the audit side too. happy to intro u to their team if u wanna chat security approach - they def speak founder language, no fluff

Postar no Reddit

Post automático desativado — faltam as credenciais REDDIT_* (OAuth). Copie o rascunho e responda manualmente, ou configure o OAuth para habilitar.

Status