com.humanitieshelpinghands/checker

up checked 2026-11-11T03:37:46.001Z

Unclaimed · Unverified

Publisher-provided title

Humanities Helping Hands checker

Publisher-provided description

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

Summary by lookupd

Checks arithmetic, primes and unit conversions in text, and searches a library of machine-checked math facts and past attempts.

Install

Claude Code, remote (streamable-http)

claude mcp add --transport http checker https://humanitieshelpinghands.com/mcp

Codex, remote (streamable-http)

codex mcp add checker --url https://humanitieshelpinghands.com/mcp

Cursor, remote (streamable-http) → .cursor/mcp.json

{
  "mcpServers": {
    "checker": {
      "url": "https://humanitieshelpinghands.com/mcp"
    }
  }
}

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Publisher-provided text

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
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.

Shows this live status and links here; updates hourly.

[![lookupd status](https://lookupd.com/badge/com.humanitieshelpinghands/checker.svg)](https://lookupd.com/servers/com.humanitieshelpinghands/checker)