Maian
Automated vulnerability tracing in Ethereum smart contracts.
What is Maian?
MAIAN is a Python-based tool by Ivica Nikolic for automatic detection of buggy Ethereum smart contracts of three types: suicidal, prodigal, and greedy. It processes contract bytecode and tries to build a trace of transactions to find and confirm bugs. 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 and also features a GUI for a much easier testing experience.
Web3 dapps and developer tools related to Maian
Discover blockchain applications that are frequently used with Maian.
Solidcheck
Superchain Dev Console
RubyScore
Loop Decoder
Developer resources from Alchemy
The 6 best Solidity IDEs for developers (2026)
Explore the best IDEs for Solidity development.
Smart accounts adoption accelerated in Q4 2023
ERC-4337 smart account adoption saw major growth in the fourth quarter of 2024, surpassing 1 million total deployed accounts!
Metropolis makes it easy to deploy smart contracts using Alchemy's account abstraction infrastructure
Learn how Metropolis is leveraging Alchemy's account abstraction infrastructure to redefine smart contract deployment with their new product, Metal.
Maian alternatives
Explore web3 competitors and apps like Maian.
Solhint for IntelliJ
Solhint
SmartMuv
AuditBaseApp store listings are independently reviewed and written by Alchemy using a combination of inbound submissions, editorial research, public project sources, and third-party directories, including ecosystem data from The Grid under the Open Database License, DefiLlama, DappRadar, Reown, and chain ecosystem pages.
