121 machine-proven math facts, plus 49 real-world claims with machine-checked arithmetic
Maintained by@IniquitousAi(verified)Also a maintainer?
Call this server's tools from your browser. Nothing to install.
Requests go through mcptry because browsers can't call most MCP servers directly. Header values are sent to the server for that request only and are never stored or logged.
Tool list from our last check. Connect live to refresh it.
Find the claims in a text and check the ones plain code can: arithmetic (PROVEN or FALSIFIED), primes, unit conversions. A famous unsolved problem (P vs NP, the Riemann hypothesis) is OPEN. Anything else is NOT CHECKED, which never means false, with a next step.
The sentence or answer to check, e.g. "2+2=5"
Pick your client. Values in capitals, like YOUR_TOKEN, are yours to fill in.
claude mcp add --transport http checker https://humanitieshelpinghands.com/mcp
Find the claims in a text and check the ones plain code can: arithmetic (PROVEN or FALSIFIED), primes, unit conversions. A famous unsolved problem (P vs NP, the Riemann hypothesis) is OPEN. Anything else is NOT CHECKED, which never means false, with a next step.
| Argument | Type | Description |
|---|---|---|
| text* | string | The sentence or answer to check, e.g. "2+2=5" |
{
"type": "object",
"required": [
"text"
],
"properties": {
"text": {
"type": "string",
"maxLength": 500,
"description": "The sentence or answer to check, e.g. \"2+2=5\""
}
},
"additionalProperties": false
}Search the library of machine-checked facts. Compact by default (claim start, label, receipt link); set detail true for the full wording.
| Argument | Type | Description |
|---|---|---|
| query* | string | Words about the fact, e.g. "root theorem" |
| detail | boolean | Full claim, what checked it and what is not proven |
| max_results | integer | How many matches, at most 25 |
{
"type": "object",
"required": [
"query"
],
"properties": {
"query": {
"type": "string",
"maxLength": 500,
"description": "Words about the fact, e.g. \"root theorem\""
},
"detail": {
"type": "boolean",
"default": false,
"description": "Full claim, what checked it and what is not proven"
},
"max_results": {
"type": "integer",
"default": 10,
"maximum": 25,
"minimum": 1,
"description": "How many matches, at most 25"
}
},
"additionalProperties": false
}Search the list of past attempts at P vs NP. Rows are labeled SOURCED, GUESS or NOT TRACED. A match is a warning sign, never a verdict.
| Argument | Type | Description |
|---|---|---|
| query* | string | Words about your idea, e.g. "linear programming TSP" |
| max_results | integer | How many matches, at most 25 |
{
"type": "object",
"required": [
"query"
],
"properties": {
"query": {
"type": "string",
"maxLength": 500,
"description": "Words about your idea, e.g. \"linear programming TSP\""
},
"max_results": {
"type": "integer",
"default": 10,
"maximum": 25,
"minimum": 1,
"description": "How many matches, at most 25"
}
},
"additionalProperties": false
}We read every tool's name, description and inputs the way the model will, looking for instructions hidden from you. A clean result means no warning signs, not a guarantee. Scanned Oct 31, 2026.