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.
Loading…
Loading…
| Worker | Owner | Host | Status | Theorems | Last verified | Last seen |
|---|---|---|---|---|---|---|
nasrudin-prod-droplet | Nasrudin Salim | co-located on droplet | active | 0 | — | 27s ago |
Browse all workers on the platform with infinite scroll. Shows workers ordered by theorems contributed.
Loading workers…