Not sure that there is a need in the introduction of ibn Tawus al-Hilli.
Just a quote from his book “Muhaj ad-Duat” (p 137, load here)
و من ذلك دعاء لمولانا أمير المؤمنين علي ع المعروف بدعاء اليماني
أخبرنا أبو عبد الله الحسين بن إبراهيم بن علي القمي المعروف بابن الخياط
And from this Dua to Mawlana commander of Faithful Ali (a), known as dua al-Yamane.
NARRATED TO US Abu Abdullah al-Husayn ibn Ibrahim ibn Ali al-Qummi, known as ibn al-Khayat…
Mushkilah: Abul Qasim ibn Tawus was born in 589 h.
Opinions? How to explain such gap between people who suppose to met? Because ibn Tawus clearly used term “and narrated to US”. That term suppose that they have to met each other.
May be they met when ibn Tawus was sleeping? I remember that sh. Mufid once debated with Umar in his dream. )