A random dev

A random dev is a development server that creates and maintains some cool tools and bots.