What Rambam codifies

הַמֶּלֶךְ הַמָּשִׁיחַ עָתִיד לַעֲמֹד וּלְהַחְזִיר מַלכוּת דָּוִד לְיָשְׁנָהּ לַמֶּמְשָׁלָה הָרִאשׁוֹנָה. וּבוֹנֶה הַמִּקְדָּשׁ וּמְקַבֵּץ נִדְחֵי יִשְׂרָאֵל. וְחוֹזְרִין כָּל הַמִּשְׁפָּטִים בְּיָמָיו כְּשֶׁהָיוּ מִקֹּדֶם. מַקְרִיבִין קָרְבָּנוֹת. וְעוֹשִׂין שְׁמִטִּין וְיוֹבְלוֹת כְּכָל מִצְוָתָן הָאֲמוּרָה בַּתּוֹרָה. וְכָל מִי שֶׁאֵינוֹ מַאֲמִין בּוֹ. אוֹ מִי שֶׁאֵינוֹ מְחַכֶּה לְבִיאָתוֹ. לֹא בִּשְׁאָר נְבִיאִים בִּלְבַד הוּא כּוֹפֵר. אֶלָּא בַּתּוֹרָה וּבְמשֶׁה רַבֵּנוּ. שֶׁהֲרֵי הַתּוֹרָה הֵעִידָה עָלָיו שֶׁנֶּאֱמַר (דברים ל, ג) "וְשָׁב ה' אֱלֹהֶיךָ אֶת שְׁבוּתְךָ וְרִחֲמֶךָ וְשָׁב וְקִבֶּצְךָ" וְגוֹ' (דברים ל, ד) "אִם יִהְיֶה נִדַּחֲךָ בִּקְצֵה הַשָּׁמָיִם" וְגוֹ' (דברים ל, ה) "וֶהֱבִיאֲךָ ה'". וְאֵלּוּ הַדְּבָרִים הַמְפֹרָשִׁים בַּתּוֹרָה הֵם כּוֹלְלִים כָּל הַדְּבָרִים שֶׁנֶּאֶמְרוּ עַל יְדֵי כָּל הַנְּבִיאִים. אַף בְּפָרָשַׁת בִּלְעָם נֶאֱמַר וְשָׁם נִבֵּא בִּשְׁנֵי הַמְּשִׁיחִים. בַּמָּשִׁיחַ הָרִאשׁוֹן שֶׁהוּא דָּוִד שֶׁהוֹשִׁיעַ אֶת יִשְׂרָאֵל מִיַּד צָרֵיהֶם. וּבַמָּשִׁיחַ הָאַחֲרוֹן שֶׁעוֹמֵד מִבָּנָיו שֶׁמּוֹשִׁיעַ אֶת יִשְׂרָאֵל [בָּאַחֲרוֹנָה]. וְשָׁם הוּא אוֹמֵר (במדבר כד, יז) "אֶרְאֶנּוּ וְלֹא עַתָּה" זֶה דָּוִד. (במדבר כד, יז) "אֲשׁוּרֶנּוּ וְלֹא קָרוֹב" זֶה מֶלֶךְ הַמָּשִׁיחַ. (במדבר כד, יז) "דָּרַךְ כּוֹכָב מִיַּעֲקֹב" זֶה דָּוִד. (במדבר כד, יז) "וְקָם שֵׁבֶט מִיִּשְׂרָאֵל" זֶה מֶלֶךְ הַמָּשִׁיחַ. (במדבר כד, יז) "וּמָחַץ פַּאֲתֵי מוֹאָב" זֶה דָּוִד. וְכֵן הוּא אוֹמֵר (שמואל ב ח, ב) "וַיַּךְ אֶת מוֹאָב וַיְמַדְּדֵם בַּחֶבֶל" (במדבר כד, יז) "וְקַרְקַר כָּל בְּנֵי שֵׁת" זֶה הַמֶּלֶךְ הַמָּשִׁיחַ שֶׁנֶּאֱמַר בּוֹ (זכריה ט, י) "וּמָשְׁלוֹ מִיָּם עַד יָם". (במדבר כד, יח) "וְהָיָה אֱדוֹם יְרֵשָׁה" זֶה דָּוִד. שֶׁנֶּאֱמַר (שמואל ב ח, יד) "וַתְּהִי אֱדוֹם לְדָוִד לַעֲבָדִים" וְגוֹ'. (במדבר כד, יח) "וְהָיָה יְרֵשָׁה" וְגוֹ' זֶה הַמֶּלֶךְ הַמָּשִׁיחַ שֶׁנֶּאֱמַר (עובדיה א, כא) "וְעָלוּ מוֹשִׁעִים בְּהַר צִיּוֹן" וְגוֹ':

“The King the Messiah (lit. the annointed) will stand up and return the Kingdom of the house of David to its old [glory], to the first rule, and build the Temple (lit. holy), and gather the scattered ones of the Israel, and return all of the laws in his days as they were before; bringing sacrifices, and making shmitahs (leaving the land fallow in the seventh year) and jubilees like all of the commandments that it says in the Torah. And anyone who does not believe in him, or does not anticipate his arrival, it is not only in the other prophets that he is denying but in the Torah and in Moses our teacher; because the Torah testifies on him [the Messiah] as it says "and Hashem your Lord will return your captives and your pitied ones, and return and gather . . . if you scattered ones are at the end of the heavens . . . and Hashem will bring them to you. (Deuteronomy 30:5)" And these express words in the Torah they include all of the things that were said by the hand of all of the prophets. Even in the piece about Bilam it is said, and there he prophesied about the two messiahs--about the first messiah who is David who saved Israel from their enemies and from the last messiah who will arise from his children who will save Israel [in the end]. And there it says, "I will see him, but not now,(Number 24:17)"--that's David. "I will behold him, but not nearby,"--that's the King Messiah. "A star will come from Jacob"--that's David. "And a scepter-bearer will arise out of Israel"--that's the King Messiah. "He will strike the corners of Moab"--that's David." And so it says "And he defeated Moab and measured them with a cord (2 Samuel 8:2)." "..and destroy all the sons of Seth (Numbers 24:17)"--that's the King Messiah, as it is said about him "And his reign will be from sea to sea (Zachariah 9:10). "And Edom will be an inheritance (Numbers 24:18)"--that's David, as it is said, "And Edom were slaves to David (2 Samuel 8:14)", etc. "And it will be an inheritance, etc. (Numbers 24:18)" --that's the King Messiah, as it is said, "Saviors will ascend Mount Zion (Ovadiah 1:21)", etc.”