Mathematical modeling identifies LAG3 and HAVCR2 as biomarkers of T cell exhaustion in melanoma. Here, HAVCR2 is linked to melanoma.