Instant Pot Cauliflower and Lentils Thai Curry Stew

Ingredients

• 1 Tbsp extra-virgin olive oil
• 1 large onion, diced
• 1 garlic clove, finely chopped
• 2-3 Tbsp red curry paste
• 4 cups vegetable or chicken broth
• 1 small head chopped cauliflower florets
• 2 organic peeled and cubed sweet potatoes or half of an organic butternut squash, peeled and cubed
• 1/4 tsp cayenne pepper
• 2 dry kaffir lime leaves
• 1/2 cup uncooked red lentils
• 1 can (796 ml) diced tomatoes
• salt
• pepper
• 1 can (398 ml) coconut milk
• 2 cups finely chopped kale, chard or spinach
• 1 cup fresh chopped cilantro or basil
• fresh lime juice