Jaskinia Wysoka – Za Siedmiu Progami, zwana też Jaskinią Wielką Wysoką i Jaskinią za Siedmioma Progami – jaskinia w Dolinie Kościeliskiej w Tatrach Zachodnich. Jest jedną z najdłuższych i najgłębszych jaskiń w Tatrach. Zajmuje trzecie miejsce pod względem długości i piąte pod względem deniwelacji w Polsce. Niektóre części jaskini są bardzo słabo zbadane i udokumentowane. Długość odkrytych dotychczas korytarzy wynosi 11660 metrów, a deniwelacja 435 metrów.