隐居褒谷山的隐士是郑子真，名朴，字子真。西汉末年左冯翊谷口人。隐逸民间，修身自保，非其所有，决不苟求。耕于岩石之下，名震京师。

明代嘉靖时张良知撰写《汉中府志》，说郑子真隐居褒城谷口，有垂钓台，并有石刻“石虎”二字等。明崇祯时周至赵崡《游九嵕山记》：“遂由东道下谷口，为烟霞洞，传为郑子真隐居处。