Mathics IRC bot