历史上有申公豹吗?他的介绍有没?

申公豹与姜子牙都是昆仑山阐教元始天尊的门人，申公豹因为嫉妒元始天尊将“封神”的任务交给姜子牙，而下凡与姜子牙对抗，几次三番协助商纣王进攻周武王，并挑拨阐教与蓬莱山截教的矛盾，导致最终阐教领袖元始天尊与截教领袖通天教主的纷争。
石矶是通天教主的门人，截教成员还包括被观音收服的金鳌、被普贤收服的青狮、被文殊收服的白象等等。
元始天尊、通天教主、太上老君都是鸿钧道人的徒弟，鸿钧道人据说是上古创世神盘古氏的化身，地位高过女娲氏。