We use many different tools to manage our infrastructure. Some of them are publicly available and may give you some information about the state of our services:
Others are just for selected users:
Some tools outside of our control:
Some tools neat for debugging or understanding problems:
We have developed some tools that might simplify our work.