道士杨谷字洞微,代州人,隐居华山,为人仪观秀伟,道行卓绝,平生未尝与物忤。通庄、易,世以庄子杨先生目之。明昌间,诏征高道隶天长观,未几还山。其将归也,与知观侯生食于市,书数火字于食案,又嘱侯,言昨过沃州,闻君母病,可速归。侯以假去。及至沃州,而母不病,侯生谇语曰:“渠绐我邪?”及北还,天长已被焚矣。又尝与客游嵩山白龟泉上,见一石蟹出,客曰:“蟹横行,殆天性乎”洞微曰:“此物固横行,恨不值正人耳。”随以手指之,蟹即正行。晚爱中方,卜居之。中方旧无泉,苦于远汲。洞微言山秀如此,不应无泉,乃斋沐致祷,筮之得吉征。是时十月,庵旁近葵花荣茂,洞微云:“于文章,癸为葵,此殆水征也。”与众道士行寻之,见巽隅草树间,隐隐有微润,掘之果得泉,可供数百指。然东隔绝涧,南限群峰,石壁峻峭几百步,不可越。洞微与弟子吕泽辈沿壁作栈道,以通往来,人以栈木易朽,虑有颠齐之患,乃就壁取石,凿窍嵌之,叠为石梁,泉为池,自是中方得水甚易,至今人目为杨公泉。闲闲尝为作文记之。又言吾友潘若净,字清容,有道之士也,尝从洞微游,甚叹服之。云杨洞微当求之古人中耳。闲闲后过华州,追怀洞微云:“前年曾就云台宿,知有先生在华山。今日白云峰顶起,却疑骑鹤下人间。”其称道如此。