Humanities Helping Hands checker

by FastDrop

MCP MCP VERIFIED Verified 2 hours ago Registry import free

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

121 machine-proven math facts, plus 49 real-world claims with machine-checked arithmetic Official MCP Registry: com.humanitieshelpinghands/checker@1.1.0. Remote endpoint: https://humanitieshelpinghands.com/mcp

Problem it solves

Discoverable MCP server listed in the official MCP Registry.

How it's different

Remote MCP endpoint ingested from the official registry and probed by FastDrop.

Ingested from the official MCP Registry

FastDrop pulled this entry from the official MCP Registry as com.humanitieshelpinghands/checker and probed the endpoint. The maker did not submit it, so the outbound link is not endorsed and the description is not theirs.

If this is your server, claim the listing to edit it and take ownership. The registry index lists everything else still awaiting a probe.

Claim this listing

Tools this endpoint exposes

Read directly from the endpoint on 31 Oct 2026. Not supplied by the maker.

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