金代全真道士。號「靈真子」，人稱馬靈真。袞州滕縣(今屬山東)人。馬丹陽徒雷洪陽弟子。因與馬丹陽同姓，人稱「小丹陽」。了道既傳馬丹陽道術，遊至雪山，見其洞谷幽奇，遂結廬洞旁，服氣導引，後形解仙去。其徒乃於其廬建立雲峰萬壽宮，號為「丹陽洞」。據《袞州府志》，同時道士有王志專(號清陽子)、張志廣(號清虛子)、楊志清(賜號希丘真人)、張志靜(賜號淵靜大師)、張志玉(賜號通真大師)，皆滕縣人，或以洪陽為師，或以靈真為師，多棲止洞之左右，《淵靜觀記》、《清虛宮重顯子返真碑銘》都記載說，靈真子實為馬丹陽之高弟，金大定(116l–1189)間，重顯子陳道益為其門人。