The Warden server protocol buffer definitions + documentation.