Solidify – tool to automatically detectq smart contract security risks | Hacker News Reader