I’m referring to US social security. According to pub 915, it’s not taxable for US citizens residing in the U.K.
