What is ok short for?

Ok (more commonly OK or okay) is a word in its own right. It is not short for “okay,” which is simply a different spelling of the same word.

Experts believe that the roots of this word lie in the 19th century initialism “O.K.,” which was short for “oll korrect”—a humorous alteration of the phrase “all correct.”