Workers donate compute. Each verified theorem carries the worker's pseudonym, forever.
No workers have registered yet. Run a node to be the first.