INDIVIDUAL MCP TOOL

verify_receipt

Check that a record still says what was signed: the permitted or refused decision, unchanged, under a trusted or embedded key.

aqta.ainone authenticationAvailability not checked

LIVE ENDPOINT

https://app.aqta.ai/api/mcp

No auth detected

Connect to this endpoint to inspect the live schema for verify_receipt and invoke it with your own arguments.

{}

Inferred read-only · medium confidence · heuristic, not a guarantee.

No write-capable action terms were found; this is not proof that invocation has no side effects.

CONNECT WITH APPROVAL

Review this server and its permissions before adding it. Secret placeholders must be set locally.

Codex

~/.codex/config.toml

[mcp_servers.seal]
url = "https://app.aqta.ai/api/mcp"
enabled = true

Claude Code

.mcp.json

{
  "mcpServers": {
    "seal": {
      "type": "http",
      "url": "https://app.aqta.ai/api/mcp"
    }
  }
}

Claude Desktop

Settings → Connectors → Add custom connector

Name: seal
Remote MCP URL: https://app.aqta.ai/api/mcp

Add this remote URL as a custom connector in Claude Desktop. Availability depends on the user plan and workspace policy.

Cursor

.cursor/mcp.json

{
  "mcpServers": {
    "seal": {
      "url": "https://app.aqta.ai/api/mcp"
    }
  }
}

Visual Studio Code

.vscode/mcp.json

Add to Visual Studio Code

{
  "servers": {
    "seal": {
      "type": "http",
      "url": "https://app.aqta.ai/api/mcp"
    }
  }
}

Generic MCP

Client-specific MCP configuration

{
  "name": "seal",
  "transport": "streamable-http",
  "url": "https://app.aqta.ai/api/mcp"
}

MCP Inspector

Run the official MCP Inspector locally and enter the indexed Streamable HTTP endpoint.

decode_receipt — Read a receipt field by field, with stated limits.
get_public_key — Fetch the published Seal signing key.
get_sample_receipt — A genuine signed receipt from the sample workspace (demo key), for trying verification.
get_review_pack — The published sample evidence pack: fixed review question, bound receipts, disclosure.
verify_evidence_pack — Verify a review pack receipt by receipt.
explain_attestation_format — The receipt format: fields, outcomes, verification commands, and what a signature does not establish.
list_my_receipts — List your workspace receipts filtered by outcome, policy, model, or date range.
get_transparency_proof — Inclusion proof plus signed tree head for one of your receipts.