Spec isn't directly for static analysis Spec is for specification which can be used for more things than precompile problem checking Clj-kondo is for precompi

Spec isn't directly for static analysis Spec is for specification which can be used for more things than precompile problem checking Clj-kondo is for precompile static analysis that also supports minimal typing