We have dialyzer, which is very polarizing and frequently maligned, and somewhere between 2.0 and 3.5 partial implementations of LSP depending on how you're counting. It's been radio silence ever since the last public blog post announcing the formation of the new LSP team/project and the incumbents still ship new code periodically, so I have no idea where that stands. None of them hold a candle to r-a in their current forms.
Credo is pretty solid, and Adobe's styler is neat but I wouldnt blame anyone for sticking to vanilla `mix format`. ExUnit is also fine. I'll never touch Ash or Igniter, as they don't speak to my personal or professional values.
I can't speak to the type-system stuff in 1.18, as I have a bunch of "code-complete" dependencies that won't build without compiler warnings. Outside of that blind spot I consider Elixir to be in an ongoing tooling slump, personally. Certainly when compared to more innovative and populous ecosystems.