Simplex Model Checker Extension

That would be cool. I think there is an app or two that can help you make it.