Search / io.github.something-agent/proofcheck
ProofCheck
R0· no sign-inFree x402 offer/receipt checker: verifies signatures and whether the signer fits the host.
v0.1.0 · active · repository · website · descriptor JSON · versions
Search / io.github.something-agent/proofcheck
R0· no sign-inFree x402 offer/receipt checker: verifies signatures and whether the signer fits the host.
v0.1.0 · active · repository · website · descriptor JSON · versions
{
"mcpServers": {
"proofcheck": {
"type": "http",
"url": "https://proofcheck.something-agent.workers.dev/mcp"
}
}
}claude mcp add --transport http proofcheck https://proofcheck.something-agent.workers.dev/mcp[mcp_servers.proofcheck]
url = "https://proofcheck.something-agent.workers.dev/mcp"
{
"$schema": "https://opencode.ai/config.json",
"mcp": {
"proofcheck": {
"type": "remote",
"url": "https://proofcheck.something-agent.workers.dev/mcp",
"enabled": true
}
}
}{
"mcpServers": {
"proofcheck": {
"type": "http",
"url": "https://proofcheck.something-agent.workers.dev/mcp"
}
},
"deeplink": "cursor://anysphere.cursor-deeplink/mcp/install?name=proofcheck&config=eyJ0eXBlIjoiaHR0cCIsInVybCI6Imh0dHBzOi8vcHJvb2ZjaGVjay5zb21ldGhpbmctYWdlbnQud29ya2Vycy5kZXYvbWNwIn0%3D"
}{
"servers": {
"proofcheck": {
"type": "http",
"url": "https://proofcheck.something-agent.workers.dev/mcp"
}
}
}{
"mcpServers": {
"proofcheck": {
"httpUrl": "https://proofcheck.something-agent.workers.dev/mcp"
}
}
}extensions:
"proofcheck":
enabled: true
name: "proofcheck"
type: streamable_http
uri: "https://proofcheck.something-agent.workers.dev/mcp"
timeout: 300
protocol.modernnewest supported version is 2025-11-25; 2026-07-28 not supported, older versions are deprecated until 2027-07-28protocol.statelessonly applies to 2026-07-28 serversprotocol.transportstreamable HTTPprotocol.list_ttlonly applies to 2026-07-28 serversauth.prm, auth.as_metadata, auth.cimdno remote uses OAuthauth.secret_in_urlno templated URLtools.descriptionsevery tool has a descriptiontools.description_lengthdescriptions are concisetools.schemasevery tool has an object input schematools.annotationsno tool declares readOnlyHint or destructiveHint, so clients cannot tell safe calls from risky onestools.directory_hintsno tool declares all four of readOnlyHint, destructiveHint, idempotentHint and openWorldHint; missing: verify_offer (readOnlyHint, destructiveHint, idempotentHint, openWorldHint); verify_receipt (readOnlyHint, destructiveHint, idempotentHint, openWorldHint); lookup_erc8004_agent (readOnlyHint, destructiveHint, idempotentHint, openWorldHint); …tools.token_costabout 509 tokens to load every tooltools.api_dumptools are not a one-to-one API dumpstability.changesno tool changes in 30 daysstability.rug_pullno tool changed its meaning under the same namedeps.known_vulns, deps.mcp_sdk_version, deps.resolvableno npm or PyPI packageNo tool definition changes recorded. A server's first observation is its baseline; later probes record what changes.
Checks run on what our credential-free, read-only probes observe; tools are never called and no code audit is performed. How it is computed.
+repository +namespace-matches-repo +website +reachable +uptime-98% +updated-11d-ago
Derived from observable signals (official registry feed and our own credential-free probes); no code audit performed. How it is computed.
| remote | auth | reachable | uptime 30d | p50 | protocol | last ok |
|---|---|---|---|---|---|---|
https://proofcheck.something-agent.workers.dev/mcp streamable-http | none | yes | 98% | 161 ms | 2025-11-25 | 2026-11-07 |
lookup_erc8004_agent | Read-only ERC-8004 identity lookup (owner, agentWallet, registration file, endpoint-domain verification) on Ethereum, Base, Optimism, Arbitrum, Polygon, BNB, Avalanche, Gnosis, Celo, Linea or Scroll. |
preflight_x402_endpoint | Unpaid preflight of an x402 URL: fetch its 402, summarise accepts[]/extensions, verify any signed offers and report who can vouch for the signer. Never pays. Free. |
verify_offer | Verify an x402 signed offer (EIP-712 or JWS): signature, expiry, match to accepts[], and signer-authorization evidence (payTo, did:web, DNS _controllers, ERC-8004). Free. |
verify_payment_required | Verify every signed offer inside a PaymentRequired object (pass the decoded JSON, or the raw base64 PAYMENT-REQUIRED header). Free. |
verify_receipt | Verify an x402 signed receipt (EIP-712 or JWS) returned in the settlement response: signature, freshness, payer/resource/transaction match, signer-authorization evidence. Free. |
Schemas: list_tools.
{
"name": "io.github.something-agent/proofcheck",
"title": "ProofCheck",
"$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
"remotes": [
{
"url": "https://proofcheck.something-agent.workers.dev/mcp",
"type": "streamable-http"
}
],
"version": "0.1.0",
"repository": {
"url": "https://github.com/something-agent/proofcheck",
"source": "github"
},
"websiteUrl": "https://proofcheck.something-agent.workers.dev",
"description": "Free x402 offer/receipt checker: verifies signatures and whether the signer fits the host."
}