The bluebelly Java snake (Tetralepis fruhstorferi), also known commonly as Fruhstorfer's mountain snake and the Javan bluebelly snake, is a species of snake in the family Colubridae. The species, which is the only member of the genus Tetralepis, is endemic to Java.
The specific name, fruhstorferi, is in honor of German lepidopterist Hans Fruhstorfer, who collected the holotype.
The preferred natural habitat of T. fruhstorferi is forest, at altitudes of about .
Dorsally, T. fruhstorferi is dark reddish brown, with an indistinct darker vertebral line. Ventrally, it is lead-colored or reddish gray. The holotype has a snout-to-vent length (SVL) of , plus a tail length of .
T. fruhstorferi is terrestrial, semi-fossorial, and nocturnal or crepuscular.
The mode of reproduction of T. fruhstorferi is unknown.