是全真道北五祖之一,五代時道士。名操,字昭遠,又字宗成,以號行。燕山(今北京市西南宛平)人。為遼進士,又說名哲,字元(鉉或玄)英。事燕主劉守光為丞相。好黃老之學。一日,有道人自稱正陽子來謁,海蟾待以賓禮。道人為演清靜無為之宗,金液還丹之要,並索雞卵十枚,金錢十文,一文置几上,累十卵於金錢上,若浮圖狀。海蟾驚曰:“危哉!”道人曰:“居榮祿,履憂患,其危殆甚!”盡以其錢劈破擲之,辭去。海蟾“大悟”,遂棄官隱於華山,終南山。相傳得道仙去。元世祖封其為“海蟾明悟弘道真君”。元武宗加封為“海蟾明悟弘道純佑帝君”。