I use a double jump script, I double jump a lot better than I did when I learnt how and could - I get it every time and can double jump off literally everything double-jumpable. I find that, for me, being able to double jump with a press of the button is better than having to smash your space bar key to try. Its not like it makes you less skilled - sure you can't double jump, but you can use the script and double jump better and more often.
It's done miracles for my jumping and playing in general, I can now double jump hard jumps backwards, sideways - any direction really. It allows you to focus on other stuff, like when people are on the map, without also having to worry about the double jump
I guess it's just personal preference, but if you want a way to double jump successfully more often, I would use it
