أخذ عنه: الحسن بن محمد النحوي، والمطهّر بن محمد بن الحسين بن تُريك الصعدي، والسيد محمد بن المرتضى بن المفضّل العفيف، وأحمد بن حميد بن سعيد الحارثي، وغيرهم.

ووضع مؤلفات كثيرة في فنون شتى، منها: التمهيد لعلوم العدل والتوحيد (خ) في أُصول الدين،الشامل لحقائق الأدلة العقلية وأُصول المسائل الدينية(خ) في أربعة أجزاء في علم الكلام، المعالم الدينية في العقائد الإلهية[٢](ط)، النهاية في الوصول إلى علم حقائق علوم الأُصول(خ) في ثلاثة أجزاء في أُصول الدين، التحقيق في الإكفار والتفسيق(خ) في أُصول الدين، الجواب الرائق في تنزيه الخالق(خ)، الجواب الناطق بالصواب القاطع لعرى الشك والارتياب(خ)، مشكاة الأنوار(ط) في الردّ على الباطنية، الوعد والوعيد وما يتعلّق بهما، القانون المحقّق في علم المنطق، الحاوي لحقائق الأدلة الفقهية وتقرير القواعد السياسية في

[١] تحدّثت عدة مصادر زيدية عن تتلمذ المؤيد باللّه على محمد بن خليفة، وقالت إنّه أخذ عنه علم الكلام وغيره، ثمّ ذكرت هذه المصادر أنّ وفاة ابن خليفة كانت في سنة (٦٧٥هـ)، فكيف يُصبح المؤيد باللّه (المولود ٦٦٩هـ) من أجلّ تلامذته؟! انظر ترجمة محمد بن خليفة في طبقات الزيدية الكبرى٢/٩٦٨برقم ٦١٢، وأعلام المؤلفين الزيدية٨٩٨برقم ٩٦٦.
[٢] وهو بحوث مختصرة تستعرض مختلف الآراء الكلامية وتناقشها على ضوء مذهب أهل العدل.