@Saikyun i haven't tested clj-kondo with clojure clr, but because of this: https://github.com/clojure/clojure-clr/wiki/Specifying-types
i doubt it works out-of-the-box.
iiuc, clj-kondo uses a forked rewrite-clj and that uses tools.reader, so i would guess at the very least using a clojure-clr-aware tools.reader replacement might be necessary.
also, there are things specific to handling :clj and :cljs in the clj-kondo code base and i don't think there is any mention of :cljr in the source, so that would be another thing that is likely to need some attention.
i think you might want: