# Humanities Helping Hands checker

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

- name: com.humanitieshelpinghands/checker
- version: 1.1.0
- connection class: R0 (autonomous)
- trust: 82/100 flags: no-repository
- quality: 91/100 (strong)
- owner: not claimed
- descriptor: https://api.protogrid.dev/v1/servers/com.humanitieshelpinghands%2Fchecker
- tools: https://api.protogrid.dev/v1/servers/com.humanitieshelpinghands%2Fchecker/tools

**An agent can connect right now, no human step.** Remote endpoint, no authentication, reachable on the last probe.

## Connection (mcpServers)

```json
{
  "mcpServers": {
    "checker": {
      "type": "http",
      "url": "https://humanitieshelpinghands.com/mcp"
    }
  }
}
```


## Trust

- hygiene: 80
- liveness: 98
- freshness: 100
- provenance: 55
- drivers: +dns-namespace +website +reachable +uptime-94% +updated-14d-ago -no-repository
- Derived from observable signals (official registry feed and our own credential-free probes); no code audit performed.

## Quality 91/100 (strong)

### protocol: 75 (weight 25)

- warn `protocol.modern`: newest supported version is 2025-11-25; 2026-07-28 not supported, older versions are deprecated until 2027-07-28
- n/a `protocol.stateless`: only applies to 2026-07-28 servers
- pass `protocol.transport`: streamable HTTP
- n/a `protocol.list_ttl`: only applies to 2026-07-28 servers

### authorization: n/a (weight 15)

- n/a `auth.prm`, `auth.as_metadata`, `auth.cimd`: no remote uses OAuth
- n/a `auth.secret_in_url`: no templated URL

### tool hygiene: 100 (weight 30)

- pass `tools.descriptions`: every tool has a description
- pass `tools.description_length`: descriptions are concise
- pass `tools.schemas`: every tool has an object input schema
- pass `tools.annotations`: 3 of 3 tools declare readOnlyHint or destructiveHint
- pass `tools.directory_hints`: every tool declares readOnlyHint, destructiveHint, idempotentHint and openWorldHint
- pass `tools.token_cost`: about 461 tokens to load every tool
- pass `tools.api_dump`: tools are not a one-to-one API dump
- pass `tools.hidden_text`: no hidden text in tool names, descriptions, schemas or annotations

### stability: 100 (weight 15)

- pass `stability.changes`: 1 tool changes in 30 days
- pass `stability.rug_pull`: no tool changed its meaning under the same name
- pass `stability.new_links`: no tool change named a new site

### dependencies: n/a (weight 15)

- n/a `deps.known_vulns`, `deps.mcp_sdk_version`, `deps.resolvable`: no npm or PyPI package

- tools: 3, about 461 tokens to load them all
- tool set hash: 1a34d3368a7d79995002c90f9997a3ab
- tools last changed: 2026-11-07T06:01:09.523Z
- badge: [![protogrid quality](https://protogrid.dev/badge/com.humanitieshelpinghands/checker.svg)](https://protogrid.dev/servers/com.humanitieshelpinghands/checker)
- Checks run on what our credential-free, read-only probes observe; tools are never called and no code audit is performed.

### Tool changes

- 2026-11-07 `search_attempts` changed (description)
  - before: 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.
  - after: 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.

Full history: https://api.protogrid.dev/v1/servers/com.humanitieshelpinghands%2Fchecker/changes

## Remotes

- https://humanitieshelpinghands.com/mcp (streamable-http, auth none, reachable true, uptime30d 0.9423077)

## Packages

_none_

## Tools (3)

- `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 else is NOT CHECKED, which never means false, with a next step.
- `lookup_fact`: Search the library of machine-checked facts. Compact by default (claim start, label, receipt link); set detail true for the full wording.
- `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.