There is a Coveralls JSON API after all.