hevm is a smart contract security tool on Ethereum. It sits within the Web3 security tools category. The project is written primarily in Haskell and described by its maintainers as using AI or machine learning. Resources include developer documentation and a public GitHub repository.
Community & social
Categories
Related tools
Walnut
Walnut is listed as a smart contract security tool on Starknet. It also appears under Block…
TonBit
TonBit operates as a blockchain auditing company with multichain support. It sits within the Web3 security…
Secure3
Secure3 is a blockchain auditing company on Ethereum. It sits within the Web3 security tools category.…
ScaleBit
ScaleBit operates as a blockchain auditing company with multichain support. It sits within the Web3 security…