Analizzatore statico per Solidity
Weasel è un analizzatore statico progettato per contratti Solidity, integrato con funzionalità di intelligenza artificiale per fornire audit automatici e report dettagliati. Con 9 abilità specializzate, Weasel consente di scrivere prove di concetto, formattare report e ottimizzare il gas. La sua interfaccia semplice permette di interagire tramite comandi vocali, rendendo l'analisi della sicurezza dei contratti più accessibile e veloce.
La velocità di analisi è un punto di forza, grazie all'analisi parallela e alle risposte istantanee del server MCP. Weasel rileva vulnerabilità critiche, ottimizzazioni del gas e controlli sulla qualità del codice, supportando progetti sviluppati con Foundry, Hardhat e Truffle. Con la possibilità di utilizzarlo anche da terminale, Weasel rappresenta uno strumento versatile per gli sviluppatori che desiderano migliorare la sicurezza dei propri contratti.
