When arguing against Koin you mention compile-time safety and Dagger-like API.

- compile time safety: you can run a simple test as part of your build pipeline to find missing definitions: https://insert-koin.io/docs/reference/koin-test/checkmodules

- Dagger-like API: that's a con imo, Dagger is super verbose and who wants that? Adding dependencies to the graph using annotations is possible in Koin too: https://insert-koin.io/docs/reference/koin-annotations/start. Unlike Dagger, Koin uses ksp though