diff --git a/jps/jps-common/src/org/jetbrains/kotlin/platform/impl/NativeIdePlatformKind.kt b/jps/jps-common/src/org/jetbrains/kotlin/platform/impl/NativeIdePlatformKind.kt
index f0ea3b01d34..c53749c6331 100644
--- a/jps/jps-common/src/org/jetbrains/kotlin/platform/impl/NativeIdePlatformKind.kt
+++ b/jps/jps-common/src/org/jetbrains/kotlin/platform/impl/NativeIdePlatformKind.kt
@@ -3,6 +3,7 @@
  * that can be found in the license/LICENSE.txt file.
  */
 
+@file:JvmName("NativeIdePlatformUtil")
 package org.jetbrains.kotlin.platform.impl
 
 import org.jetbrains.kotlin.cli.common.arguments.CommonCompilerArguments
@@ -37,3 +38,8 @@ object NativeIdePlatformKind : IdePlatformKind<NativeIdePlatformKind>() {
 // These are fake compiler arguments for Kotlin/Native - only for usage within IDEA plugin:
 class FakeK2NativeCompilerArguments : CommonCompilerArguments()
 
+val IdePlatformKind<*>?.isKotlinNative
+    get() = this is NativeIdePlatformKind
+
+val IdePlatform<*, *>?.isKotlinNative
+    get() = this is NativeIdePlatformKind.Platform