KitScout

Categories › Knowledge & Everyday › Education & learning

Humanities Helping Hands checker

MCP serverVerified domain · humanitieshelpinghands.comRemote● LiveFree to try

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

Install

Remote server: your requests and data go to humanitieshelpinghands.com. Claude Code: claude mcp add --transport http humanities-helping-hands-checker https://humanitieshelpinghands.com/mcp · Claude app: Settings → Connectors → Add custom connector.

What it can do

The tools this server listed when we connected to it, in its own words.

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

KitScout test notes

Not tested by KitScout yet. When our harness runs it, pros, cons and the tasks we tried appear here, with the date and evidence.

Similar tools