{
  "id": "kotlin-language-api-correctness",
  "name": "kotlin-language-api-correctness",
  "version": "0.1.0",
  "type": "skill",
  "provider": "kotlin",
  "harnesses": [
    "codex",
    "claude-code",
    "cursor",
    "gemini",
    "kiro",
    "other"
  ],
  "summary": "Static review of Kotlin language-level correctness: nullability and Java-interop platform types, inline functions with reified generics past JVM erasure, @JvmInline value-class boxing, statically-dispatched extension functions vs member precedence, and lateinit use-before-init hazards. Reads source only.",
  "source_type": "original",
  "official_docs": [
    "https://kotlinlang.org/docs/null-safety.html",
    "https://kotlinlang.org/docs/java-interop.html",
    "https://kotlinlang.org/docs/inline-functions.html",
    "https://kotlinlang.org/docs/inline-classes.html"
  ],
  "security_notes": "Static review only — reads Kotlin source and sanitized Java-interop signatures; never compiles, runs, or executes code to observe an actual NullPointerException, boxing allocation, or dispatch outcome. A runtime-behavior claim not confirmed by the visible source is flagged as needing verification rather than asserted. Never requests secrets, credentials, or customer data.",
  "last_verified": "2026-07-21",
  "path": "skills/kotlin/kotlin-language-api-correctness",
  "author": "github: VincentChuWaiChow"
}