Z tego co wiem, owadobójcze działanie ma ekstrakt z czosnku, nie wiem jednak, czy obecnie na rynku są jakieś środki ze specjalnie spreparowanym czosnkiem, musiałabyś zapytać w jakimś sklepie ogrodniczym. Nie wiem też, czy czosnek działa na mrówki, ale skoro działa na komary i w rolnictwie też używa się go do zwalczania owadów, to na mrówki powinien działać. Oprócz działania owadobójczego ma też działanie odstraszające, więc może spróbuj na własną rękę zrobić miazgę z czosnku, rozcieńczyć ją nieco wodą i wlać to do wejścia do gniazda mrówek. Jeśli ich nie wytłucze, to może przegoni. Takie coś kotu na pewno nie zaszkodzi
(ale jak pisałam - nie znam działania czosnku konkretnie na mrówki, więc rezultat nie musi być zadowalający).
Z kolei w domu mojej mamy zalęgały się mrówki faraona - walczono z nimi wlewając do gniazd wrzącą wodę.
Nie iwme, czy mieszkasz w bloku, czy w domku - jeśli w domku to bez problemu możesz spróbować każdej z tych metod, jeśli w bloku, to wlanie wrzątku do gniazda mrówek raczej się nie uda, zaś polanie miejsc, gdize chodzą mrówki spowoduje intensywny zapach w domu.
W przypadku mieszkania w bloku przychodzą mi do głowy niestety tylko środki chemiczne. Można zastosować np. taki środek
http://www.krakvet.pl/product_info.php?cPath=23_61&products_id=1697
- przeznaczony jest również do legowisk zwierzęcych, więc myślę, że nie powinien stwarzać zagrożenie dla kota, jesli tylko postąpisz zgodnie z zaleceniami na etykiecie (niestety tu też nie wiem, jakie substancje aktywne zawarte w środku działają na mrówki).