The Python model of MAIAN by Ivica Nikolic achieves automatic vulnerability detection on three fronts; suicidal, prodigal, and greedy. It also features a GUI for a much easier testing experience. Developers can check if a smart contract can send ETH to anyone using the associated flag for a prodigal-type scan. This implementation can scan Solidity and bytecode smart contracts.