Set the pressure cooker to sauté and add the garlic and onions. Allow to cook for 3 minutes. Add in the red lentils. Slowly pour in the water and stir. Add the curry powder, tomato sauce, salt, and cayenne pepper.
Using the manual setting, on high heat, allow the lentils to cook for 10 minutes. Release the pressure or allow it to come out on its own. Serve the red lentil curry while warm.