Minecraft wiki entry for Cave_spider_farming, associated text: There are two types of grinders for any type of mob farm: a manual grinder and an automatic grinder. For a manual grinder, the player kills the mobs, and for an automatic, some other source of damage kills the mobs. For cave spiders, a manual grinder is cheaper and more efficient than an automatic, but requires the player to be there to kill the cave spiders.