RE: MAIAN Smart Contract Analysis Tool Becomes Publicly Available to Find Potential Vulnerabilities — Steemit