Maybe also worth mentioning is that some static analysis is done using these contracts as well. With more coming.