What problem does it solve? Migrating Java codebases to Kotlin by hand is error-prone: annotation site targets get lost, nullability semantics change silently, framework proxies break on final classes, and git history is destroyed by naive file replacement. This Skill applies a disciplined 4-step conversion methodology with 5 invariants checked at each step, so converted Kotlin preserves behavior, annotations, imports, and documentation. ## Core Features & Use Cases - 4-Step Conversion Methodology: Faithful 1:1 translation, nullability/mutability audit, collection type conversion, and idiomatic transformations, with 5 invariants verified after each step. - Framework-Aware Conversion: Detects imports and loads targeted guides for Spring, Lombok, Hibernate/JPA, Jackson, Micronaut, Quarkus, Dagger/Hilt, RxJava, JUnit, Guice, Retrofit, and Mockito. - Git History Preservation: Uses a two-phase git mv rename plus content-replace commit strategy so git blame survives the migration. - Use Case: Converting a Spring Boot service layer from Java to Kotlin — the Skill detects Spring imports, keeps @Transactional classes open, removes @Autowired in favor of constructor injection, and verifies the result against a post-conversion checklist. ## Quick Start Ask the agent to convert a specific Java file or package to Kotlin, for example: convert src/main/java/com/acme/service/OrderService.java to idiomatic Kotlin and preserve git history.