Jaskinia Wysoka za Siedmioma Progami, zwana też Jaskinią za Siedmioma Progami – jaskinia w Tatrach Zachodnich. Jej otwory znajdują się w dolnej części Wysokiego Grzbietu w zboczach Wąwozu Kraków. Jest trzecią pod względem długości i piątą pod względem deniwelacji jaskinią w Polsce.
