py-evm
claripy
web3
coloredlogs

[test]
mock
