{"library":"mythril","install":[{"cmd":"pip install mythril","imports":["from mythril import Mythril","from mythril import MythrilDisassembler"]}]}