（生卒年不详）辽代道士，初名操，字昭远。后得道，改名刘元英，字宗成（一作城），号海蟾子，燕地广陵（今山西广陵）人。以明经擢第一，一云辽进士。仕燕主刘守光为相。后解印辞官，易服从道。往来终南﹑太﹑华间，复结张无梦﹑种放，访陈希夷先生，为方外友。亦间作诗，有诗集行于世。郑樵《艺文略》著录有《海蟾子诗》一卷，其咏修炼，则有《还金篇》行于世，今俱不传。《道藏》正乙部《诸真内丹集要》存其歌一首，《神仙通鉴》录其诗句二。均收入《全辽文》卷一二。生平事迹见《神仙通鉴》及《全辽文》附《作者索引及事迹考》。（查洪德）