Union Labs Building some pretty decent products.
Karel L. Kubat
KaiserKarel
Static analysis for Substrate based projects