Kodok Merah (sebelumnya Leptoprhyne cruentata) Leptoprhyne javanica merupakan spesies baru dari genus Leptophryne. Jenis ini dinyatakan berbeda dari saudaranya yang di Gunung Gede Pangrango dan Gunung Halimun. Sejauh ini Kodok Merah Ciremai baru ditemukan di Gunung Ciremai dan Gunung Slamet. Masing-masing lokasi penemuan diatas ketinggian 1200 - 1500 mdpl.
Berikut kutipan terkait penemuan jenis baru ini
"Melalui publikasi ilmiah yang diterbitkan Zootaxa Vol. 4450 No 4 (427-444) baru-baru ini, Amir bersama kolega berhasil mengidentifikasi dan mendeskripsikan jenis kodok yang kini diberi nama Leptophryne javanica. Dalam jurnal jelas tertulis, kodok ini terpisah dengan jenis lainnya berdasarkan perbedaan sejumlah karakter mendasar yang umumnya dilakukan untuk mendeskripsikan jenis baru".