HTTP API and C library to query Watkins antichess proof tables: 1. e3 is winning for White - View it on GitHub