诗句《覆石云闲丹灶冷，采芝人去洞门空。》出自古诗《游九鲤湖》，作者为古代诗人郑良士，其内容如下：
仄径倾崖不可通，湖岚林霭共溟蒙。
九溪瀑影飞花外，万树春声细雨中。
覆石云闲丹灶冷，采芝人去洞门空。
我来不乞邯郸梦，取醉聊乘郑国风。

郑良士的诗词全集：《寄富洋院禅者》《题兴化高田院桥亭》《游九鲤湖》