Most likely your mantis won't try tangling with a dwarf lion if he is fed regularly. The big question though, is the mantis a spearer or smasher? Find him and ID it. A smasher will leave the lion alone for sure. As for catching the mantis, do a search on the board. You will find a great many posts.