凝阳等，被全真教尊为全真五祖之一，亦为「海蟾派」始祖。元世祖忽必烈封其为“海蟾明悟弘道真君”，元武宗加封「海阳嗣派九天扶正帝君」，泰定帝封为「广阳启南弘道纯佑帝君」。刘海蟾一直被质疑是虚构人物，因为其生平众说纷纭，且相关描述只出现在野史、传奇、戏剧、小说等民间文学，与道教典籍如《吕帝圣蹟纪要》等，正史并无其人之记载。
出身.一说刘海蟾名哲，或作喆，字玄英，又作元英，五代时期后梁燕国广阳（今北京市大兴区）人，又说滨州渤海县（今山东省滨州市）人，寄籍广阳。或曰辽国燕州广阳（今北京）