bots-checkdex-xyz (CHECKDEX)