ProofSnap Verify
Server Details
Check without an account whether ProofSnap issued an evidence package.
- Status
- Healthy
- Last Tested
- Transport
- Streamable HTTP · MCP 2025-11-25
- URL
TDQS
Scored across 1 tool
There is only one tool, so there is no intra-set ambiguity or risk of selecting the wrong operation. Its purpose is clearly distinct and easy to understand.
The single tool follows a clear snake_case verb_noun pattern: lookup_manifest. Although there is only one name, it is predictable and consistent with common MCP conventions.
A one-tool server is very thin for a verification-oriented service. Even if the tool is useful, the surface lacks companion operations that would make the server meaningfully scoped.
The server only checks whether ProofSnap issued a manifest and when, leaving obvious gaps for evidence verification workflows such as verifying package contents, signatures, ledger proofs, or detailed verification results. Agents would likely hit dead ends for broader verification tasks.
Available Tools
1 toollookup_manifestCheck whether ProofSnap issued a manifestARead-onlyIdempotentInspect
Looks up the SHA-256 of an evidence package's manifest.json in ProofSnap's public ledger: whether ProofSnap issued exactly this manifest, and when.
| Name | Required | Description | Default |
|---|---|---|---|
| hash | Yes | SHA-256 of manifest.json, for example the manifest_hash of a capture |
Output Schema
| Name | Required | Description |
|---|---|---|
| type | No | |
| eidas | No | |
| issued | No | |
| issued_at | No | |
| manifest_sha256 | No |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
Annotations already establish that this is a read-only, idempotent, non-destructive lookup. The description adds meaningful behavioral context by identifying the public ledger and clarifying that the result covers both issuance and timing, though it does not discuss not-found behavior or rate limits.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
The definition is a single efficient sentence with the verification target front-loaded. Every clause contributes to understanding what is looked up and what the result establishes.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
This is a simple one-parameter lookup with an output schema and annotations covering safety. The description supplies the remaining semantic context, namely the public ledger and the issuance question, so an agent has enough information to invoke it correctly.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
Schema description coverage is 100%, including a pattern and example for the hash parameter. The description reinforces that the hash is of manifest.json, but it does not add format or syntax details beyond what the schema already provides.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description uses a specific verb and resource: it looks up the SHA-256 of a manifest.json in ProofSnap's public ledger. It also states the exact question answered, whether ProofSnap issued this manifest and when, so an agent can understand the operation without reading the schema.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
The description gives clear context for use: verifying issuance of a specific manifest against a public ledger. There are no sibling tools to route between, but it does not state explicit exclusions or when not to use the tool.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
Tool Schema Changelog
Recent tool additions, removals, and schema changes observed during successful MCP inspections.
1 tool update
- First observed
lookup_manifest
Related MCP Connectors
Free, no-account verification of KeyHalve-sealed documents. Read-only; never receives keys.
Read-only verifier for 25 ProofRelay MCP tools and non-confidential evidence bundles.
Verify Attest agreements, stamp codes, receipts, proofs and SHA-256 fingerprints, with no sign-in.
Timestamp & verify evidence on-chain, free. Proofpack: a portable BEEF+BUMP proof bundle per txid.
Related MCP Servers
- AlicenseAqualityFmaintenanceRead-only ProofRelay MCP verifier for non-confidential evidence bundles. Exposes 22 public-safe tools, 11 resources, and 11 prompts for bundle integrity checks, receipt-chain review, checkpoint recommendations, MCP risk metadata review, and real-estate closing proof-pack readiness.5MIT
- AlicenseNot gradedqualityAmaintenanceEnables free, read-only checks of AI agents and MCP servers for conformance, published changes, delivery evidence, and verifiable receipts without requiring an account or API key, using public or non-personal data only.MIT

com.verixid/verifierofficial
AlicenseNot gradedqualityBmaintenanceVerifies VerixID proof-of-existence records by Record ID and optionally proves ownership with an Ownership Key, without requiring the original file.MIT- AlicenseNot gradedqualityBmaintenanceEnables clients to search, read, and verify sealed forecasts and public-record cards, inspect resolution calendars, engine strands, sensor alerts, and wire headlines, and check whether stories are independent events or echoes. All access is read-only and requires no key, account, or dependencies.9 npm1Apache 2.0
Glama MCP Gateway
Add one secure layer between your agents and this server.