The API that runs clippy.io