Mravečník (992 m n.p.m.) to jeden z charakterystycznych wierzchołków Kotliny Kysuckiej, górujący nad malowniczą doliną Terchovą około 18 km na wschód od Żyliny. To szczyt, który nagradza wędrowców rozległymi panoramami — od grzbietów Małej Fatry po szczyty Tatr Zachodnich w pogodne dni. Choć niezbyt wysoki, ma w sobie prawdziwy górski klimat.

Mravečník, zwany też Veľhorą, tworzy wspólny masyw z sąsiednią Okrúhlicą (932 m) i od północnego zachodu zamyka Dolinę Terchovą. Teren pokryty jest nieciągłym lasem, który w kilku miejscach otwiera się na wspaniałe widoki — widać stąd okoliczne szczyty Kotliny Kysuckiej, wyraźnie rysuje się fragment Fatry Krywańskiej od Rozsutców po Mały Krywań, a przy dobrej widoczności również Jaworniky, Beskidy Morawsko-Śląskie, Kysuckie i Orawskie, Magurę Orawską oraz Tatry Zachodnie. Wiosną lasy mienią się świeżą zielenią, jesienią szczyt zachwyca barwami bukowych drzewostanów. Szczyt leży w strefie ochronnej Parku Narodowego Mała Fatra.

• Z południa — z Terchovej, szlak zielony, trasa prowadząca na szczyt od strony południowej.
• Z północy — z rozwidlenia Káčerovci przez rozwidlenie pod Mravečníkiem.
• Z siodła Lutiška — przez rozwidlenie pod Mravečníkiem.
• Z Hornej Tížiny — przez rozwidlenie Káčerovci.

Szczyt leży w strefie ochronnej Parku Narodowego Mała Fatra, co oznacza, że obowiązują tu zasady zachowania obowiązujące na obszarach chronionych — warto trzymać się wyznaczonych szlaków.

Warto wiedzieć, że lokalna nazwa 'Veľhora' — czyli dosłownie 'Wielka Góra' — świadczy o tym, jak ważną rolę ten masyw odgrywał w życiu okolicznych mieszkańców. Północne stoki Mravečníka są źródliskiem potoku Radôstka, który uchodzi do rzeki Bystricy.