Check out Cuchi Smt (@c