The bluebelly Java snake or Fruhstorfer's mountain snake (Tetralepis fruhstorferi) is a species of snake in the superfamily Colubroidea. It is the only member of the genus Tetralepis.[2]