Plans
Get your work checked, with a receipt.
Reading and checking on this site stays open to everyone. You pay only for a signed stamp or for checks done for you. Cancel any time with one email.
One Stamp
One file checked. If it passes, we sign a stamp for its hash with the time.
- One Lean proof or one claim built on numbers
- Signed only if it passes with no gaps
- A timestamp anyone can check
- Full refund if the check cannot run
Checker
For people who check things every week: homework, posts, AI answers.
- 100 checks a month
- Every check gets a stamp and the full receipt
- Receipts list what was not checked
- Cancel any time with one email
Proven Standing
For a company: its public claims kept checked, with a page that shows which ones hold.
- Unlimited checks for your public claims
- A public page of what holds and what does not
- We tell you first when one stops holding
- Cancel any time
Buying opens soon. The buttons open the site's one pay page with each price; no card can be charged yet. To ask about a check, email hello@humanitieshelpinghands.com. The terms.
Open or paid
What stays open, and what you pay for.
| What | Open to everyone | Paid |
|---|---|---|
| Check a claim on this site | Yes, in your browser, no account | Not needed |
| The Atlas, the Book, open problems | Read all of it | Not needed |
| The MCP server for AI tools | 60 calls a minute | Not needed |
| A signed stamp with a timestamp | No | One Stamp, or one with every Checker check |
| Checks done for you on files you send | No | Checker, 100 a month |
| Your public claims kept checked, on a public page | No | Proven Standing |
How it works
Three steps, one receipt.
Send your file or your claim.
A Lean proof, or a claim whose arithmetic we can restate as steps.
The same checker runs it.
Pinned toolchain, no sorry, only the standard axioms.
You get a signed receipt.
File hash, checker version, verdict, signature and a timestamp.
Questions
Asked most often.
Does a passing check mean my idea is true?
It means the machine accepted the statement exactly as written. The receipt says plainly what it did not check, like whether the formal statement matches what you meant.
Does my file get stored?
The pay page only ever carries the hash of your file. You email the file after paying, and the receipt records its hash so anyone can match it.
What if the check cannot run?
You get a full refund. A file that runs and fails still gets a receipt that says where it failed.
How do I cancel?
One email. The plan stops at the end of the month you paid for.