Add the garlic and ginger. Cook for 1 minute until fragrant.
Stir in the cumin, coriander, turmeric, and cayenne pepper. Cook for 30 seconds, stirring constantly.
Pour in the rinsed red lentils and vegetable broth. Scrape the bottom of the pot to remove any browned bits.
Secure the lid and set the vent to Sealing. Select Manual or Pressure Cook (High) for 8 minutes.
When the cooking time is complete, allow a Natural Pressure Release (NPR) for 10 minutes, then carefully move the valve to Venting to release any remaining pressure.
Open the lid. Stir in the full-fat coconut milk, salt, and pepper.