Как проверить тип python?

Тип можно узнать функцией type, а принадлежность к классу проверить через isinstance. В вашем примере type(12) возвращает int, а type('12') возвращает str. Внешне при печати эти значения могут выглядеть одинаково, но операции выполняются по правилам их типов: сложение строк соединяет текст, сложение чисел вычисляет сумму.

После input() вы всегда получаете строку. Поэтому проверка isinstance(value, str) будет истинной и для введённых цифр, и для слова, и для пустого ответа. Она сообщает тип объекта, но не подтверждает, что содержимое можно считать числом. Чтобы принять целое число, попытайтесь выполнить int(value) и обработайте ValueError. Пустая строка и строка с неподходящими символами попадут в обработчик ошибки.

Для диагностики полезно вывести repr(value) рядом с типом. Так будут заметны кавычки, пустое содержимое и пробельные символы, которые обычный print не всегда позволяет различить с первого взгляда. Это особенно удобно, когда данные пришли из файла или формы и вы не уверены в их формате.

Проверки isinstance(value, int) и type(value) is int немного различаются. Первая учитывает наследование, поэтому принимает True и False: логический тип наследуется от целого. Вторая требует точного совпадения типа и не принимает подклассы. Для обычного прикладного кода чаще нужна первая, но при проверке входных данных иногда требуется отдельно исключить логические значения.

Не проверяйте тип сравнением строк вроде str(type(value)) == 'int'. Результат строкового представления другой, и такая проверка сложнее прямого обращения к объекту типа. После успешного преобразования сохраняйте число в отдельную переменную, чтобы дальше случайно не продолжить вычисления с первоначальным текстом.