About the integration, is malli annotations compatible with the clj-kondo ones? As in if something is typed string on malli and is passed to a core function that only accepts numbers, will it show as a warning?

@mynomoto this doesn't work automatically, you should execute some code to make malli spit out type information to a clj-kondo config directory and you should opt in to this config dir via :config-paths