NestDaddy

Humanities Helping Hands checker

com.humanitieshelpinghands/checker · v1.1.0

121 machine-proven math facts, plus 49 real-world claims with machine-checked arithmetic

Connect Remote server

Terminal
claude mcp add --transport http checker https://humanitieshelpinghands.com/mcp
~/.cursor/mcp.json
{
  "mcpServers": {
    "checker": {
      "url": "https://humanitieshelpinghands.com/mcp"
    }
  }
}
.vscode/mcp.json
{
  "servers": {
    "checker": {
      "type": "http",
      "url": "https://humanitieshelpinghands.com/mcp"
    }
  }
}
Claude Desktop
Settings > Connectors > Add custom connector
URL: https://humanitieshelpinghands.com/mcp

Tools 3 found in our last check

  • lookup_fact

    Search the library of machine-checked facts. Compact by default (claim start, label, receipt link); set detail true for the full wording.

  • check_claim

    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.

  • search_attempts

    Search 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

Endpointhttps://humanitieshelpinghands.com/mcp (Streamable HTTP)
First published31 Oct 2026
Last updated31 Oct 2026
Registry namecom.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.