洞陽宮，在石凜峰西北，乃施真人伏鬼會真之所。唐陳法明應詔回，於此峰下開巖建壇，山神為之陰助，南望雲陽，日一夕朝真誦洞經。後服丹而玄化，今尚存基二舊亦有庵宇。