I haven't really seen many bots available that support bitmex. I have tried mixtoco.in and it seems like a new underdeveloped project that doesn't really work. Anyone have any info on bots available for bitmex? preferably ones that have proven profits before?