Medusa

Chimera è un framework per scrivere test Solidity in Foundry e poterli riutilizzare con altri strumenti open source come Echidna, Medusa, Halmos e Kontrol

Slither è il motore di analisi statica in Python di Trail of Bits per Solidity e Vyper: eseguilo in CI per attivare rilevatori, stampare viste strutturali dei contratti o creare script per controlli personalizzati su intere codebase.

Synpress sovrappone Playwright con l'automazione del browser compatibile con Ethereum in modo da poter testare le dapp end-to-end, inclusi i popup del portafoglio e i cambi di catena, in CI.

Aderyn è l'analizzatore statico open source di smart contract Solidity basato su Rust di Cyfrin, progettato per aiutare gli ingegneri di protocollo e i ricercatori di sicurezza a trovare vulnerabilità nelle basi di codice Solidity

Titanoboa è un interprete Vyper interattivo e un ambiente di test per cicli di feedback rapidi quando sperimenti con i contratti al di fuori di un ciclo Foundry completo.

solidity-coverage fornisce la copertura del codice degli smart contract per la piattaforma per sviluppatori Hardhat. È altamente accurato, supporta la compilazione completa di Solidity viaIR e un ampio set di pattern di rami di codice specifici per Solidity. È installato su circa 230.000 progetti GitHub e viene scaricato circa 100.000 volte a settimana da NPM.