It's been a while since I started searching for MAIAN, a tool that could analyze for me the contract I'm writing and look for vulnerabilities (remix's compiler is driving me insane and, to be honest, I wasn't expecting coding to be so difficult), but seems quite nowhere to be found.


Does anybody know how to find it?...or at least recommend a similar tool that could do such a task?