Humanities Helping Hands checker

com.humanitieshelpinghands由 humanitieshelpinghands.com 发布官方发布者v1.1.0更新于 Oct 31, 2026

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

已验证Streamable HTTP可网页运行知识与记忆数据与分析

概览

AI 生成的概览

远程只读服务器，让助手查询机器验证过的数学事实、核查文本中的算术类断言，并检索 P vs NP 的历史尝试。

可以做什么
  • 在机器验证过的事实库中检索事实，默认精简显示（断言开头、标签、凭据链接），可切换为完整表述
  • 核查所给文本中可由普通代码验证的断言：算术、素数、单位换算，标注为 PROVEN 或 FALSIFIED
  • 将 P vs NP、黎曼猜想等著名未解问题标为 OPEN，其余标为 NOT CHECKED 并给出下一步建议
  • 检索 P vs NP 的历史尝试列表，每行标注为 SOURCED、GUESS 或 NOT TRACED
适用场景
适合需要核实文本中算术、素数或单位换算断言时，或希望获得带标签的机器验证事实、以及 P vs NP 既往尝试的警示清单而非未经验证的说法时。
运行要求
远程 streamable HTTP 端点；未声明任何软件包、环境变量、请求头或身份验证。
安装前请注意
NOT CHECKED 只表示此处无法核查，并不代表断言为假；尝试列表中的匹配只是警示信号，不是结论。服务器声明为只读，且不存储发送给它的内容。

安装

在 SourceWeft 中

  1. 打开 控制台中的 Humanities Helping Hands checker，将其添加到工作区。
  2. 为需要使用其工具的对话启用该服务。

Web executable，通过 Streamable HTTP。 远程服务在工作区中配置后即可从网页运行时运行。

交给智能体安装

把这段提示词粘贴到 Claude Code、Codex、Cursor 等智能体，或 SourceWeft 对话中。智能体会读取该服务器的安装指南，先向你展示发布者、端点和登录方式，经你同意后再把它添加到你的客户端。密钥不会写进任何命令。

阅读 https://sourceweft.com/mcp/com.humanitieshelpinghands%2Fchecker/install.md，并按其中说明把这个 MCP 服务器接入我的客户端。修改任何配置之前，先告诉我它的发布者、端点和登录方式，等我确认。不要把 API 密钥写进命令或我会提交的文件；问我密钥应从哪里获取。

查看智能体所依据的安装指南

其他 MCP 客户端

把它添加到你客户端的 mcpServers 配置中。

{
  "mcpServers": {
    "humanities-helping-hands-checker": {
      "type": "http",
      "url": "https://humanitieshelpinghands.com/mcp"
    }
  }
}

工具

3

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.

输入参数query必填detailmax_results

check_claim

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

输入参数text必填

search_attempts

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

输入参数query必填max_results

版本历史

1
  1. v1.1.0最新Oct 31, 2026

评分

已满足适用检查项的 83%

该评分衡量此收录条目的完整程度，依据注册中心条目、端点与公开来源计算得出。它不是对服务器本身的评价，也不表示服务器安全或当前可用：可连通性是带日期的检查结果，评分也不包含安装量或用户评价。

  • 近 30 天内可连通必需25 分
  • 已声明认证方式必需10 分
  • 已列出工具必需15 分
  • 描述必需15 分
  • 图标10 分
  • 文档15 分

    请声明包含 README 的 GitHub 仓库，或在 OAuth 受保护资源元数据中提供 resource_documentation。

  • 许可证不适用

    托管服务按其提供方的条款使用，因此这里不要求许可证。此检查项不计入百分比。