Humanities Helping Hands checker
121 machine-proven math facts, plus 49 real-world claims with machine-checked arithmetic
使うべきか
品質と安全性
ツール定義とプロトコルへの準拠に関する自動分析に基づいています。
コンテキストコスト
これは、サーバーのツールがモデルのコンテキストに読み込まれるたびに消費されるおおよそのトークン数です。数が多いほど、ほかのタスクに使える注意が減ります。
インストール
ワンクリックインストール
これを `claude_desktop_config.json` ファイルに追加してください:
{
"mcpServers": {
"checker": {
"url": "https://humanitieshelpinghands.com/mcp"
}
}
}リモートエンドポイント
https://humanitieshelpinghands.com/mcpstreamable-httpできること
ツール一覧
ツール（3）
🟢lookup_fact(query, max_results, detail)
Search the library of machine-checked facts. Compact by default (claim start, label, receipt link); set detail true for the full wording.
入力スキーマ
{
"type": "object",
"properties": {
"query": {
"type": "string",
"maxLength": 500,
"description": "Words about the fact, e.g. \"root theorem\""
},
"max_results": {
"type": "integer",
"minimum": 1,
"maximum": 25,
"default": 10,
"description": "How many matches, at most 25"
},
"detail": {
"type": "boolean",
"default": false,
"description": "Full claim, what checked it and what is not proven"
}
},
"required": [
"query"
],
"additionalProperties": false
}🟢check_claim(text)
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.
入力スキーマ
{
"type": "object",
"properties": {
"text": {
"type": "string",
"maxLength": 500,
"description": "The sentence or answer to check, e.g. \"2+2=5\""
}
},
"required": [
"text"
],
"additionalProperties": false
}🟢search_attempts(query, max_results)
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.
入力スキーマ
{
"type": "object",
"properties": {
"query": {
"type": "string",
"maxLength": 500,
"description": "Words about your idea, e.g. \"linear programming TSP\""
},
"max_results": {
"type": "integer",
"minimum": 1,
"maximum": 25,
"default": 10,
"description": "How many matches, at most 25"
}
},
"required": [
"query"
],
"additionalProperties": false
}コミュニティ
エビデンス