灵池之东，山岩峦叠，循左右而趋者，参差若鸾凤翔翅。又其中崭高，势如龙骧，自分崠而下，不知其几千百仞也。若骤若驰，迤逦赴深涧，曰朱真人祠者，正枕此山足，境物清旷，夐出尘世。惜乎旧洞隳圮，或堙塞为过路，于此四期矣，未有究其所以然者。宝鼎蒲叔豹来宰是邑，兴滞补废，百事修举，因暇日按碑记访寻遗址，而心默识焉。于是鸠工开葺，惟二月既望经始，越十有五日告成。观其依岩凿洞，洞深而邃；甃石引泉，泉冽而甘。接洞为亭，夹以明窗；架石为桥，次以横磴。修竹环列，岚光掩映，风籁披拂，与涧溜相应，如听琴筑。盖所谓蓬莱方丈之景者，一朝而复矣。敦仁时权邑尉，每乐真游，超览物外，辄涤虑而献言曰：夫道无古今，物有成坏，方世与道交兴，则是洞之托于数者，昔坏而今成，岂无所待而然耶？《易》曰「苟非其人，道不虚行」，呜呼，尽之矣。宣和元年三月日记。