verify.meno.sh

Check a paper against itself, against the data that produced it, and with a set of claim checks.

i · what are you giving it
ii · the paper

…or upload a .tex, or a .zip of the whole Overleaf project — needed if the paper uses \input{}.

iii · claim register second tier only

A JSON file listing each number in the paper and the artifact it came from. Without it, the checks that need data cannot run.

iv · what should it check