How not to get rekt
To continue building your smart contract skills and introduce some tooling (!!), we're going to have you do a workshop. Specifically the one Consensys Diligence put on at DevCon4.
The "How not to get rekt" workshop necessitates cloning 2 Git repos that can be found below.
Then follow the README in that first repo. It'll be fun.
You might want to check out Ethereum Hackbox as an alternative and (we think) easier way to set up Mythril.
Mythril Classic is a tool you will use in the workshop.