121 machine-proven math facts, plus 49 real-world claims with machine-checked arithmetic
Connect Remote server
claude mcp add --transport http checker https://humanitieshelpinghands.com/mcp
{
"mcpServers": {
"checker": {
"url": "https://humanitieshelpinghands.com/mcp"
}
}
}
{
"servers": {
"checker": {
"type": "http",
"url": "https://humanitieshelpinghands.com/mcp"
}
}
}
Settings > Connectors > Add custom connector
URL: https://humanitieshelpinghands.com/mcp
Tools 3 found in our last check
lookup_factSearch the library of machine-checked facts. Compact by default (claim start, label, receipt link); set detail true for the full wording.
check_claimFind 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.
search_attemptsSearch the list of past attempts at P vs NP. Rows are labeled CHECKED, REASONED or NOT TRACED. A match is a warning sign, never a verdict.
Details
| Endpoint | https://humanitieshelpinghands.com/mcp (Streamable HTTP) |
| First published | 31 Oct 2026 |
| Last updated | 31 Oct 2026 |
| Registry name | com.humanitieshelpinghands/checker |
More search and web servers See all
Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.
