The specification

The PGP Chat server describes its Bot API in an OpenAPI 3.1 document. This documentation keeps an exact copy of it, openapi.json. That file is the authority for how the protocol works; this library follows it, and the API coverage page maps each operation to the code and the tests.

Where the server and the document differ

Testing the API showed a few details that the document leaves out or describes only in part. The library follows the server; the details are listed in the research notes and on the API coverage page.