✨ [Enhance] Add support for user-defined name in ProofWorker class d387c32 unverified Husnain commited on Apr 22, 2024