A collection of programming modes for Boogie, Dafny, and Z3 (SMTLIB v2) - View it on GitHub