diff --git a/build.gradle.kts b/build.gradle.kts
index a0b94ae15..9dc026f49 100644
--- a/build.gradle.kts
+++ b/build.gradle.kts
@@ -274,7 +274,7 @@ intellijPlatform {
       // TODO(team) Ideally all of the following FailureLevels should be enabled:
       // https://github.com/flutter/flutter-intellij/issues/8361
       VerifyPluginTask.FailureLevel.COMPATIBILITY_WARNINGS,
-//      VerifyPluginTask.FailureLevel.COMPATIBILITY_PROBLEMS,
+      VerifyPluginTask.FailureLevel.COMPATIBILITY_PROBLEMS,
 //      VerifyPluginTask.FailureLevel.DEPRECATED_API_USAGES, // https://github.com/flutter/flutter-intellij/issues/7718
 //      VerifyPluginTask.FailureLevel.SCHEDULED_FOR_REMOVAL_API_USAGES,
 // `BadgeIcon`:
@@ -289,6 +289,7 @@ intellijPlatform {
     )
     verificationReportsFormats = VerifyPluginTask.VerificationReportsFormats.ALL
     subsystemsToCheck = VerifyPluginTask.Subsystems.ALL
+    ignoredProblemsFile.set(project.file("verify-ignore-problems.txt"))
 
     ides {
       recommended()
@@ -416,4 +417,5 @@ tasks.withType<ProcessResources>().configureEach {
     // The context here is unambiguously the task itself.
     exclude("jxbrowser/jxbrowser.properties")
   }
-}
\ No newline at end of file
+}
+
diff --git a/third_party/lib/weberknecht-0.1.5.jar b/third_party/lib/weberknecht-0.1.5.jar
new file mode 100644
index 000000000..e69de29bb
diff --git a/verify-ignore-problems.txt b/verify-ignore-problems.txt
new file mode 100644
index 000000000..7f133435e
--- /dev/null
+++ b/verify-ignore-problems.txt
@@ -0,0 +1,6 @@
+# This is a known false positive. The de.roderick.weberknecht package is provided
+# by the Dart plugin at runtime, but the verifier's static analysis of
+# class loader visibility is flawed in this case.
+# See more context in https://github.com/flutter/flutter-intellij/pull/8590
+::Package 'de.roderick' is not found.*
+