В первом примере действительно можно видеть сказуемое кипят жизнью, поскольку глагол использован в переносном значении, которое становится ясным только при наличии жизнью. В таком случае это простое глагольное сказуемое, выраженное синтаксически цельным словосочетанием.

Во втором примере составное именное сказуемое (с нулевой формальной связкой) насыщены. Образность этого причастия давно стёрта, а зависимый компонент можно варьировать в довольно широких пределах.

В предложении Летом мы ремонтировали крышу дома слово дома является дополнением. Кто-то, видимо, ошибочно решил, что существительное не может управлять дополнением, а зависимое сущ. при нем всегда является несогласованным определением. На самом деле существительные вполне могут управлять дополнениями; в частности, в данном случае главное слово — крыша — обозначает часть целого, и при таких сущ. регулярно использование в качестве дополнения слова, обозначающего то целое, часть которого названа. Вот, скажем, в словосочетании ограда Летнего сада зависимый компонент действительно является несогласованным определением.

Слово бот обозначает программу, которая действует автоматически, без участия человека. В русском языке такие слова, как правило, приобретают статус неодушевленного существительного и соответствующим образом склоняются: использовать боты, подключить бот, подписаться на бот. Вместе с тем отдельные группы имен существительных могут изменяться по падежам вариативно; см. примеры и объяснения в статье «Между эмбрионом и покойником: где расположены роботы на шкале одушевленности».

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

Правильно раздельное написание, так как есть зависимый компонент: не установленное (до какого времени?) до настоящего времени.

Слова не зафиксированы академическим орфографическим словарем. Корректно слитное написание, ср.: инсулинзависимый.