五代时道士。燕山（治今北京西南）人。一说后梁广陵（今江苏扬州）人，名操，字宗成。一说名哲，字元（铉）英。海蟾为其号。全真道北五祖之一。事燕主刘守光为相，好黄老之学。后弃官隐修于华山、终南山，相传得道仙去。元世祖时封为“明悟弘道真君”。