Возможны оба варианта.
При обозначении приблизительного количества (при использовании слов около, свыше, больше, меньше и т. п.) сказуемое может стоять как в форме единственного, так и в форме множественного числа (второй способ согласования все чаще встречается в наше время).
Вы можете подробнее прочитать о единственном и множественном числе сказуемого в «Письмовнике».
Правильно: подробнее или более подробно.
Слово бот обозначает программу, которая действует автоматически, без участия человека. В русском языке такие слова, как правило, приобретают статус неодушевленного существительного и соответствующим образом склоняются: использовать боты, подключить бот, подписаться на бот. Вместе с тем отдельные группы имен существительных могут изменяться по падежам вариативно; см. примеры и объяснения в статье «Между эмбрионом и покойником: где расположены роботы на шкале одушевленности».
В дополнение отметим своеобразие синтаксической конструкции с глаголом используют. Если в предложении отсутствует подлежащее, то вариант конструкции используют ботов служит на пользу однозначности; ср.: Ботов используют для рассылки спама. Форма винительного падежа ботов ясно указывает на зависимый статус существительного (управляемый глаголом компонент со значением объекта действия). Это важный показатель, поскольку возможно предложение с сочетанием боты используют (и с обратным порядком слов используют боты), в котором существительное боты является подлежащим и обозначает субъект действия: боты могут взаимодействовать друг с другом и используют для этого интернет-сервисы. Наблюдения показывают, что всё чаще используются обороты, в которых слово бот склоняется по типу одушевленного существительного: мы создавали чат-ботов, создали продвинутого бота, разработаем бота.
Специального правила для склонения названий пещерных городов Крыма, конечно, нет. Есть общие закономерности склонения и практика употребления. Названия Тепе-Кермен и Бакла склоняются, см., например, статьи в «Большой российской энциклопедии» «Крым» (ср. близ Эски-Кермена) и «Бакла».
Оба варианта правильны.
Сочетание неудачно.
В предложениях такого типа никакие знаки не нужны. Однако при желании интонационно разделить предложение на две части можно поставить тире.
