Workers — who's running, what they last verified.

Every worker on the platform, attributed to its owner. Each row shows the worker's current status, host, owner, and the moment its last verified theorem was accepted by the central server. Anonymous workers (registered without a user account) appear without an owner.