Our findings indicate that metformin binds PEN2 and modulates microglia-mediated HIV-1 Tat neurotoxicity in HAND. Here, PSENEN is linked to HIV-associated neurocognitive disorder.