A tiny IRC bot with an HTTP API