CCapacity Atlas

JSON API

Download the registry as static JSON files.

Endpoints

/api/problems.json
/api/problems/<problem-id>.json
/api/references.json
/api/tags.json
/api/problem.schema.json

Problem IDs are permanent. Formal claims have their own IDs and versions to identify the proposition a proof targets.