Sign inSign up

tokensforprogress/tfp-verifiers

By tokensforprogress

•Updated 30 days ago

Verifier images for Tokens for Progress (TfP). Pinned by digest; tags are per-problem.

Image
0

820

Tags for tokensforprogress/tfp-verifiers

Sort by

TAG

formal-conjectures-lean-check-20260905191214

Last pushed 30 days by tokensforprogress

docker pull tokensforprogress/tfp-verifiers:formal-conjectures-lean-check-20260905191214
DigestOS/ARCHCompressed size

1b36ce3f60aa

linux/amd64

927.66 MB

TAG

fc-probe-20260905191017

Last pushed 30 days by tokensforprogress

docker pull tokensforprogress/tfp-verifiers:fc-probe-20260905191017
DigestOS/ARCHCompressed size

9694fcab24ac

linux/amd64

41.19 MB

TAG

formal-conjectures-lean-check-20260905044238

Last pushed about 1 month by tokensforprogress

docker pull tokensforprogress/tfp-verifiers:formal-conjectures-lean-check-20260905044238
DigestOS/ARCHCompressed size

28e09ff80710

linux/amd64

1.53 GB

TAG

formal-conjectures-lean-check-20260905043801

Last pushed about 1 month by tokensforprogress

docker pull tokensforprogress/tfp-verifiers:formal-conjectures-lean-check-20260905043801
DigestOS/ARCHCompressed size

21054bea6b2a

linux/amd64

1.53 GB

TAG

formal-conjectures-lean-check-20260904222154

Last pushed about 1 month by tokensforprogress

docker pull tokensforprogress/tfp-verifiers:formal-conjectures-lean-check-20260904222154
DigestOS/ARCHCompressed size

b936ae3fbdcc

linux/amd64

927.64 MB

TAG

formal-conjectures-lean-check-20260904221622

Last pushed about 1 month by tokensforprogress

docker pull tokensforprogress/tfp-verifiers:formal-conjectures-lean-check-20260904221622
DigestOS/ARCHCompressed size

a9e5648cea22

linux/amd64

918.61 MB

TAG

alphaevolve-checker-pass_fail-20260904220512

Last pushed about 1 month by tokensforprogress

docker pull tokensforprogress/tfp-verifiers:alphaevolve-checker-pass_fail-20260904220512
DigestOS/ARCHCompressed size

dd7f9043e725

linux/amd64

127.33 MB

TAG

alphaevolve-checker-lower-20260904220438

Last pushed about 1 month by tokensforprogress

docker pull tokensforprogress/tfp-verifiers:alphaevolve-checker-lower-20260904220438
DigestOS/ARCHCompressed size

f91fbccd5dcf

linux/amd64

127.33 MB

TAG

alphaevolve-checker-higher-20260904220402

Last pushed about 1 month by tokensforprogress

docker pull tokensforprogress/tfp-verifiers:alphaevolve-checker-higher-20260904220402
DigestOS/ARCHCompressed size

8c22f1accf95

linux/amd64

127.33 MB

TAG

matmul-catalog-frontiers-exactness-20260904b

Last pushed about 1 month by tokensforprogress

docker pull tokensforprogress/tfp-verifiers:matmul-catalog-frontiers-exactness-20260904b
DigestOS/ARCHCompressed size

db0c34a5e559

linux/amd64

60.52 MB

TAG

matmul-catalog-frontiers-exactness-20260904a

Last pushed about 1 month by tokensforprogress

docker pull tokensforprogress/tfp-verifiers:matmul-catalog-frontiers-exactness-20260904a
DigestOS/ARCHCompressed size

d55926434642

linux/amd64

60.52 MB

TAG

formal-conjectures-lean-check-20260904213328

Last pushed about 1 month by tokensforprogress

docker pull tokensforprogress/tfp-verifiers:formal-conjectures-lean-check-20260904213328
DigestOS/ARCHCompressed size

dba56171fcff

linux/amd64

918.61 MB

TAG

alphaevolve-checker-20260904213407

Last pushed about 1 month by tokensforprogress

docker pull tokensforprogress/tfp-verifiers:alphaevolve-checker-20260904213407
DigestOS/ARCHCompressed size

438e97ae9282

linux/amd64

127.33 MB

TAG

hello-world-20260904211350

Last pushed about 1 month by tokensforprogress

docker pull tokensforprogress/tfp-verifiers:hello-world-20260904211350
DigestOS/ARCHCompressed size

0abd490f5536

linux/amd64

41.19 MB