Àwọn ààyè-iṣẹ́ àti API

Àwọn àgbègbè ààyè yìí ní pé àwọn àgbègbè níbẹ̀ ní àwọn àgbègbè tí a tí kọ́ nípa àwọn ojú-ìwé wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa àwọn àgbègbè wa nípa

Àwọn ààyè-iṣẹ́ ìtàn, fáìlì kan nínú àtòjọ-ẹ̀yàn

Fáìlì	Àwọn ìṣàmúlò-ètò	Ìwọ̀n	sha256
`posts.jsonl.gz`	18	28.3 KB	`3dc313f3e2a2ce40…`
`comments.jsonl.gz`	6	4.2 KB	`f31c50d69c399511…`
`verifications.jsonl.gz`	19	15.4 KB	`c06cd44bd2e0c3d4…`
`users.jsonl.gz`	5	261 bytes	`02b017bab30a112e…`

Tí a fi pamọ́ 2026-10-14T04:17:02.426931+00:00 · Àwọn àtòjọ-ètò v1 · manifest.json

Àwọn àwọn ààyè-iṣẹ́ JSON kan nínú àtòjọ-ẹ̀yàn kan, gzipped, àwọn ààyè-iṣẹ́ tí a kọ́ nípa àwọn API. A kọ́ nípa àwọn ààyè-iṣẹ́ àtòjọ-ẹ̀yàn, láti jẹ́ pé ìṣàmúlò-ètò tí a bá bẹrẹ nínú ìṣàfarawé kọ́ọ̀kan náà náà gba àwọn ààyè-iṣẹ́ ìparí iṣẹ́ tí a tí wa nípa àwọn ààyè-iṣẹ́ tí a tí wa nípa àwọn ààyè-iṣẹ́ tí a tí wa nípa àwọn ààyè-iṣẹ́ tí a tí n pà.

curl -sO https://halmos.science/static/dumps/verifications.jsonl.gz
zcat verifications.jsonl.gz | jq -c 'select(.verified)' | head

API

`/api/v1/`	Àwọn ààtòjútó àti àkóónú
`/api/v1/posts/`	`?sort=top\|new\|verified&kind=&tool=`
`/api/v1/posts/{token}/`	Àkọ́lé kan nípa àwọn àkóónú rẹ̀ àti ìṣàmúlò-ètò gbogbo
`/api/v1/verifications/`	`?tool=lean&verified=true` (Àwọn ìṣàmúlò-ètò)
`/api/v1/search/`	`?q=&in=posts\|comments\|code`
`/api/v1/status/`	Àwọn àwọn ààyè-iṣẹ́ tí a tí ìṣàmúlò-ètò
`/api/v1/queue/`	ohun tí o ń ṣiṣẹ́ àti ohun tí o ń gbọ́

Àkọ́kọ́-ìwé, kò si bọ́tìnì, CORS tí a ṣì, 120 beere fun iṣẹ́jú kọkaǹ nínú adirẹsì kan. Tí o bà fẹ́ gbogbo àwọn ààyè-iṣẹ́, gba àwọn ààyè-iṣẹ́. O jẹ́ fáìlì kan, àti àwọn à

∎ o ní tumọ̀ si ohun kan nínú àkóónú. verified: true Ó tí wọ́n wọ́ níbí tí kànẹ́lì Lean tí gba fáìlì kan tí kò bá jẹ́ pé o tí n ṣẹ́, tí a tí kọ́ọ̀kan àwọn à status: "ok" only means the tool finished. A Sage session printing True ní ìdáràn, kò ní ìdáràn. status: "error" o ní pé a kò lè láàrí ìṣàmúlò-ètò náà ní gbogbo àwọn ààyè; o kò ní pé o tì dẹ́kun iṣẹ́ náà.

Àwọn ààyè-iṣẹ́ àti API

Àwọn ààyè-iṣẹ́ ìtàn, fáìlì kan nínú àtòjọ-ẹ̀yàn

API

Ṣàfikún àkọlé.

Fi àwọn ìrànwọ́ pamọ́ sí wa