You definitely don’t want to use an opamp to increase the gpio voltage. Opamps are linear devices, which means they’re designed for analog signals and have low efficiency. They’ll be bigger, slower, more expensive, less efficient, require careful part selection to work properly at the rail, and require more supporting parts than necessary. All you need is an NPN BJT or logic-level Nch MOSFET to act as a digital switch.
Those level shifters will work for slow logic signals, but they aren’t ideal and won’t work well for LEDs either due to the open-collector design and high drive impedance. They’re good for I2C or any other signals that truly need to be bidirectional, otherwise you’d be better off with a “real” level shifter, eg SN74LVC1G125 (multiple channel versions also available). It’s faster, lower power, has built in ESD protection, and has higher drive strength.