Tuxenentulus jẹ́ ìdílé àwọn proturan nínú ẹ̀bí Acerentomidae. Tuxenentulus boedvarssoni Nosek, 1981 Tuxenentulus jilinensis Yin, 1984 Tuxenentulus ohbai Imadaté, 1974 Tuxenentulus rockyensis Imadaté, 1981 Tuxenentulus wuluensis Chao & Chen, 1999 Ernest C. Bernard, ed. (2007).