CSV export or import for specific metrics would be very easy to add if you'd like it. We already have a rough JSON export of the data:
https://raw.githubusercontent.com/AI-metrics/AI-metrics/mast...