| Jaskinia Wysoka za Siedmioma Progami | |
| Położenie | Tatry Zachodnie Wąwóz Kraków |
| Długość | 11 660 m |
| Głębokość | 288 m |
| Deniwelacja | 435 m |
| Wysokość otworów | 1455, 1468, 1477, 1487, 1488, 1487, 1499 m n.p.m. |
| Data odkrycia | lata 40. XX wieku |
| Odkrywca | Stefan Chałubiński |
| Kod | F-9.12, F-9.14, F-9.13 |
| Na mapach: | |
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[1]. Jest trzecią pod względem długości i piątą pod względem deniwelacji jaskinią w Polsce. Posiada wiele dobrze wykształconych pięter. W jaskini można spotkać zarówno obszerne korytarze i studnie (np. Studnia Koloseum), jak i miejsca bardzo wąskie, takie jak Zacisk Katowicki. W Jaskini Wysokiej-Za Siedmiu Progami nie są obserwowane stałe przepływy wody. Jest ona trudna technicznie, obecnie rzadko odwiedzana przez grotołazów.
Jaskinia została odkryta pod koniec lat 40. XX wieku przez Stefana Chałubińskiego.