Can the gpio pins of the electron be used as 3.3V supplies if set to HIGH?

Quick search of the forum turns up this:

Bottom line: stay under 25mA on the GPIO pins.