用途：对 Kotlin 代码变更做以缺陷为导向的审查，而非风格总结。审查时先按严重程度排列发现，并给出位置、触发条件、影响与最小可行修复方案。
主要能力：读取变更、周边契约、调用点、构建配置与相关测试；复现或静态追踪可疑缺陷；检查可空性与平台类型、相等/哈希行为、异常、ABI、序列化、协程取消、资源归属与依赖作用域；验证测试能否对可能的缺陷失败并覆盖生产路径。
Kotlin 专项检查：不安全的 !!、未检查的强制转换、平台类型泄漏、可变集合暴露；data class 相等或 copy 语义与领域契约不符；由默认参数、重载、通配符、伴生对象或异常注解引起的 Java ABI 变化；协程作用域泄漏、吞掉取消、在受限调度器上阻塞、无界 Flow 缓冲；Gradle 依赖泄漏、JVM 目标不匹配、急切任务、密钥暴露与不可复现的生成。
严重程度：Critical 为数据丢失、可利用安全缺陷、大范围故障或不可逆不兼容；High 为常见路径错误结果、死锁/泄漏、破坏公开契约或迁移不一致；Medium 为有界的正确性、韧性、性能或可维护性风险；Low 为影响有限的明确改进。
限制：若未发现可操作缺陷，应说明并列出剩余验证缺口，不得为填充模板而编造发现。具体安装与调用方式暂未提供。