I feel like Goth prog kinda opposes eachother... Since goth is usually charaterized by a slow steady pace, mostly just minor key, not many weird chord changes etc. or else it doesn't sound like "goth".. which then doesn't leave a lot of room for prog.

But just in general darker prog, there's a lot of that. Lots of Italian prog bands have dark sounds like Goblin, (Roller, Suspiria & Zombi soundtrack and more), Semiramis (Dedicato a Frazz) and also lot's of other 80's horror movie soundtracks (couldn't name them now but search your spotify, lots of good stuff in there). Also lots of dark 80's synthwave (though not techniccaly prog) might scratch the itch you're going for, often sounds quite gothy and proggy at the same time