
assertpy
grappa
BiasGuard
SolidityScan
NeuralTrust.ai
iXGuard
Vuln0x
VulnCost for Visual Studio Code
Vulseek by Securetia
BiasGuardgrappa - grappa is an declarative, verbose, and expressive assertion library for Python.
SolidityScan - The Ultimate EVM Compatible Smart Contract Analysis Tool!