Machilinus es un género de colas de cerdas de roca de la familia Meinertellidae . Hay alrededor de 17 especies descritas en Machilinus . [1] [2] [3] [4]