lookup_fact
Look up a proven fact
Search the library of machine-checked facts. Compact by default (claim start, label, receipt link); set detail true for the full wording.
queryrequireddetailmax_resultscom.humanitieshelpinghandsPublished by humanitieshelpinghands.comOfficial publisherv1.1.0Updated Oct 31, 2026
121 machine-proven math facts, plus 49 real-world claims with machine-checked arithmetic
Remote read-only server that lets an assistant look up machine-checked math facts, verify arithmetic claims in a text, and search past attempts at P vs NP.
Web executable via Streamable HTTP. Remote servers run from the web runtime once configured in a workspace.
Paste this prompt into Claude Code, Codex, Cursor or another agent — or into SourceWeft chat. The agent reads this server's install guide, shows you its publisher, endpoint and sign-in, and adds it to your client once you agree. Keys never go into a command.
Read https://sourceweft.com/mcp/com.humanitieshelpinghands%2Fchecker/install.md and connect the MCP server it describes to my client. Before changing any config, show me its publisher, endpoint and sign-in method and wait for my OK. Never put an API key in a command or in a file I would commit; ask me where it should come from.Add this to your client's mcpServers config.
{
"mcpServers": {
"humanities-helping-hands-checker": {
"type": "http",
"url": "https://humanitieshelpinghands.com/mcp"
}
}
}Look up a proven fact
Search the library of machine-checked facts. Compact by default (claim start, label, receipt link); set detail true for the full wording.
queryrequireddetailmax_resultsCheck a 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.
textrequiredSearch past P vs NP 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.
queryrequiredmax_results83% of the applicable checks met
How complete this listing is, computed from the registry entry, the endpoint and public sources. Not a rating of the server and not a statement that it is safe or working today: reachability is a dated check, and no installs or reviews go into the score.
Declare a GitHub repository with a README, or serve resource_documentation in the OAuth protected-resource metadata.
A hosted service is used under its provider's terms, so no license is expected here. This check is left out of the percentage.