We had a mantis issue too - we watched the tank for a few days and figured out which rock they were hanging out in, then removed the entire rock. Our little buddies were a diurnal variety though, so maybe easier said than done in your case. Other than that, trapping is the only method I've heard of.