Kotlin多平台

对 Android 代码进行专业审查，覆盖 Kotlin/Java、布局、性能、安全、可读性等方面,不要修改编辑代码

当前仓库的代码修改门禁工作流。用于任何代码修改、修复、重构、UI 调整、数据层调整、Android/Kotlin/Compose 改动、规则变更或实现计划，要求 Codex 先检查复用、同步文档、遵守架构边界、执行验证，并在最终回复中完成自检。

当前仓库的 Compose UI 纪律工作流。用于新增、编辑、抽取或评审 Jetpack Compose 页面、组件、弹窗、底部弹层、列表、卡片、工具栏、操作行、空态/加载/错误态、导航 UI 或 UI state 模型，尤其关注复用、组件归属、稳定 key、Preview、生命周期和字符串资源。

Dockerfile生成、docker-compose编排、命令速查、调试排错、镜像优化、仓库配置. Use when you need docker helper capabilities. Triggers on: docker helper.

适用于 Android 和 Kotlin 多平台 (KMP) 项目的整洁架构 (Clean Architecture) 模式 —— 包括模块结构、依赖规则、UseCase、Repository 以及数据层模式。

当进行Kotlin开发、Android开发、性能优化或互操作性处理时，分析代码质量和最佳实践。

当编排容器时，分析服务依赖，优化配置管理，解决网络问题。验证容器架构，设计部署策略，和最佳实践。

Docker ROS2 部署技能 - Docker Compose、ROS2 容器化、设备映射、多机器人部署

适用于Android和Kotlin多平台项目的Clean Architecture模式——模块结构、依赖规则、用例、仓库以及数据层模式。

KMP项目中的Compose Multiplatform和Jetpack Compose模式——状态管理、导航、主题化、性能优化和平台特定UI。

用于本地开发的Docker和Docker Compose模式，包括容器安全、网络、卷策略和多服务编排。

设计、实现并重构端口与适配器系统，具有清晰的领域边界、依赖反转以及跨 TypeScript、Java、Kotlin 和 Go 服务的可测试用例编排。

Kotlin协程与Flow在Android和KMP中的模式——结构化并发、Flow操作符、StateFlow、错误处理和测试。

JetBrains Exposed ORM 模式，包括 DSL 查询、DAO 模式、事务、HikariCP 连接池、Flyway 迁移和仓库模式。

Ktor 服务器模式，包括路由 DSL、插件、身份验证、Koin DI、kotlinx.serialization、WebSockets 和 testApplication 测试。

惯用的Kotlin模式、最佳实践和约定，用于构建健壮、高效且可维护的Kotlin应用程序，包括协程、空安全和DSL构建器。

使用Kotest、MockK、协程测试、基于属性的测试和Kover覆盖率的Kotlin测试模式。遵循TDD方法论和地道的Kotlin实践。

Provides a comprehensive suite of 25 specialized skills for Kotlin + Spring backend development, covering the full lifecycle from project analysis, build management, Spring framework core, API design, persistence, transactions, security, serialization, testing, observability, performance tuning, code quality, architecture, CI/CD, to upgrade migration. Use when building or maintaining Kotlin + Spring Boot backend projects, diagnosing Spring container or proxy issues, designing REST/WebFlux APIs, configuring Spring Security or JPA, resolving Gradle dependency conflicts, planning database migrations, writing layered tests, analyzing performance bottlenecks, reviewing Kotlin + Spring code, refactoring Java to Kotlin, designing microservice boundaries, containerizing deployments, or navigating major version upgrades (Spring Boot, Kotlin, JDK, javax → jakarta).

遍历 Android 项目源码目录，使用 AST（tree-sitter）解析 Java/Kotlin 源文件及 XML 配置， 构建项目级函数调用图（FCG）并识别所有 UI 线程入口函数。 分析流水线共六步：扫描文件 → AST 解析 → 构建类层次（CHA）→ 解析回调注册 → 构建调用图 → 检测 UI 入口。结果写入 output_dir/ui_entry_points.json 和 output_dir/call_graph.json， 供 CallChainExpander 和 ProgramSlicer 共享使用。

根据 ReAct 探索阶段给出的根因结论，生成一个可执行的 Android Instrumented Test（Kotlin）。 内部由三个子模块协作完成： (1) DependencyInliner 递归内联目标方法的项目内依赖，直到所有调用均落在 SDK 边界； (2) CallerContextCollector 从调用图反向找到所有调用者，提取从方法入口到调用点的 完整前置语句序列（还原真实调用状态，而非仅提取参数表达式）； (3) TestBodyAssembler 将内联代码与调用场景交给 LLM，翻译为 Kotlin 测试体。 生成的测试在主线程上直接调用目标方法，挂载 StrictMode 检测主线程 I/O / 数据库违规， 并通过 DroidUnblocker timing tag 记录 wall-clock 执行耗时，供 SandboxExecutor 解析。

Docker Compose 生产级编排 — 多服务编排、健康检查、日志收集、资源限制、网络隔离。触发："docker-compose"、"容器编排"、"多服务部署"、"compose"。

Docker Compose 部署 nginx 时健康检查 localhost 连接被拒绝的修复 — localhost 在容器内解析为 IPv6 ::1，但 nginx 只监听 IPv4

部署邮件管理器到 PKU NAS（Docker Compose）

适用于Android和Kotlin多平台项目的Clean Architecture模式——模块结构、依赖规则、用例、仓库以及数据层模式。

KMP项目中的Compose Multiplatform和Jetpack Compose模式——状态管理、导航、主题化、性能优化和平台特定UI。

用于本地开发的Docker和Docker Compose模式，包括容器安全、网络、卷策略和多服务编排。

Kotlin协程与Flow在Android和KMP中的模式——结构化并发、Flow操作符、StateFlow、错误处理和测试。

JetBrains Exposed ORM 模式，包括 DSL 查询、DAO 模式、事务、HikariCP 连接池、Flyway 迁移和仓库模式。

Ktor 服务器模式，包括路由 DSL、插件、身份验证、Koin DI、kotlinx.serialization、WebSockets 和 testApplication 测试。

惯用的Kotlin模式、最佳实践和约定，用于构建健壮、高效且可维护的Kotlin应用程序，包括协程、空安全和DSL构建器。