It's well known that stars of a higher (i.e. hotter) spectral class have higher luminosities, due to their larger radii and hotter temperatures. Stars of spectral types O through G have no problem standing out in the night sky due to this.
However red dwarfs (class M) are simply too small and cool to be visible to the naked eye, let alone be considered "bright". That leaves class K stars. Googling "bright K-type stars" yields stars such as Pollux and Kochab, and while they technically are K-type stars due to their temperatures, they have far bigger radii than even the largest main-sequence K-type stars and thus aren't really applicable.
So this leaves me with the title question: Are there any bright main-sequence K-type stars in the night sky? “Bright” is subjective, but I think a cap of apparent magnitude 3 is reasonable. Surely there's at least one bright K-type star that isn't a giant, right? And if not, are there any at all that are visible to the naked eye to begin with?