Do OT Prophecies Mention Jesus by Name?

{Do OT Prophecies Mention Jesus by Name?} Old Testament Prophecies foretold Jesus coming as Messiah, but do any of those prophecies actually name Jesus? Are they being attributed to Him without proof? How do we know any prophecy applies to Him?