apm install K-Syntax
or
search K-Syntax
like below:
The syntax highlighter for K Framework.
Select the language from the bottom of atom
Enter K-Syntax and select it
Save the file as .k
Good catch. Let us know what about this package looks wrong to you, and we'll investigate right away.