الحق من مشكاة اليقين...) رأيته في مكتبة الخونساري بالنجف الأشرف، ومكتبة السيد المجدد الشيرازي بسامراء، وسيدنا الحسن الصدر في الكاظمية، ونسخة السيد محمد باقر الحجة بكربلاء كانت بقلم أقل الطلاب حسين المحلاتي المشتهر باسم أبيه أيام تحصيله بالحائر في سنة 1227 ه‍. وأول الشرح (قوله: إن كان التبادر.... أقول: معنى كون التبادر....).
وللشارح نفسه عليه حواش كثيرة، والخطبة من إنشاء بعض تلاميذه. ويوجد أيضا في المكتبة الرضوية، ومكتبة الشيخ مشكور، والشيخ هادي كاشف الغطاء، وكانت عند السيد أبي القاسم الخونساري نسخة بخط حيدر بن محمد الخونساري في سنة 1196 ه‍. ويوجد أيضا في مكتبة الإمام علي عليه السلام العامة بالنجف الأشرف ".
وقد يسمى هذا الشرح بالحاشية.
وقد صرح في موضع منه أنه كان مشغولا بتأليفه سنة 1141 ه‍.
4 - شرح الوافية.
قال الشيخ الطهراني: " كتب عليه هذا العنوان، وأوله (قوله: الأصل ما يبتني عليه الشئ إلخ قد جرت عادة الأصوليين بتعريف الفقه بكلا معنييه: الإضافي والعلمي) رأيته كذلك عند السيد عبد الحسين الحجة بكربلاء. وقد كتب عليه انه للسيد مهدي، وتاريخ كتابته سنة 1243 ه‍. لكنه ليس هو شرح الوافية للسيد مهدي بحر العلوم لان شرحه على الوافية مقصور على بحث الحقيقة والمجاز " كما سيأتي.
5 - شرح الوافية.
للسيد بحر العلوم، محمد مهدي بن السيد مرتضى بن السيد محمد الطباطبائي البروجردي الغروي المتوفى سنة 1212 ه‍.
قال العلامة الطهراني عن هذا الشرح أنه " غير تام، يقرب من نصف المعالم.