MCP Radar
MCP Server

seal

ai.aqta/seal
Legal & Compliance Security Public & reachable MCP 2026-07-28

What this MCP does

Decodes and cryptographically verifies signed AI decision and agent-action receipts, including evidence-pack and transparency-log checks.

Capabilities

Tools

10 tools
decode_receipt
Read a receipt
Read a receipt field by field, with stated limits. Does not check the signature.
Read only
Input schema 
{'type': 'object', 'required': ['receipt'], 'properties': {'receipt': {'type': ['object', 'string']}}}
explain_attestation_format
Explain the receipt format
The receipt format: fields, outcomes, verification commands, and what a signature does not establish. Use before describing the format.
Read only
Input schema 
{'type': 'object', 'properties': {}}
get_public_key
Get the published signing key
Fetch the published Seal signing key.
Read only Open world
Input schema 
{'type': 'object', 'properties': {}}
get_review_pack
Get an evidence pack
The published sample evidence pack: fixed review question, bound receipts, disclosure.
Read only
Input schema 
{'type': 'object', 'properties': {'pack_id': {'type': 'string', 'description': 'Pack id. Only the published "sample" pack is available without an account.'}}}
get_sample_receipt
Get a sample receipt
A genuine signed receipt from the sample workspace (demo key), for trying verification.
Read only
Input schema 
{'type': 'object', 'properties': {'outcome': {'enum': ['ALLOWED', 'BLOCKED', 'SUPPRESSED'], 'type': 'string', 'description': 'Pick a sample with this outcome. A BLOCKED receipt was signed without the call reaching the provider.'}}}
get_transparency_proof
Prove a receipt is in the log
Inclusion proof plus signed tree head for one of your receipts. Requires your aqta_ key.
Read only
Input schema 
{'type': 'object', 'required': ['attestation_id'], 'properties': {'attestation_id': {'type': 'string'}}}
list_my_receipts
List your signed receipts
List your workspace receipts filtered by outcome, policy, model, or date range. Requires your aqta_ key as Bearer.
Read only
Input schema 
{'type': 'object', 'properties': {'limit': {'type': 'number', 'description': 'Max rows, default 25.'}, 'model': {'type': 'string', 'description': 'Only receipts for this model.'}, 'since': {'type': 'string', 'description': 'ISO timestamp lower bound.'}, 'until': {'type': 'string', 'description': 'ISO timestamp upper bound.'}, 'policy': {'type': 'string', 'description': 'Only receipts where this policy ran, e.g. pii_scan.'}, 'outcome': {'enum': ['ALLOWED', 'BLOCKED', 'SUPPRESSED', 'PASSED'], 'type': 'string', 'description': 'Only receipts with this outcome.'}}}
verify_evidence_pack
Verify a whole evidence pack
Verify a review pack receipt by receipt. Each verdict comes from the signed envelope itself, never from stored state, and results are per-receipt, never an average.
Read only
Input schema 
{'type': 'object', 'properties': {'pack': {'type': ['object', 'string'], 'description': 'A pack object, or "sample" for the published sample pack.'}, 'public_key': {'type': 'string', 'description': "Key to pin every receipt against. Omit to use each envelope's embedded key."}}}
verify_receipt
Verify a receipt
Check that a record still says what was signed: the permitted or refused decision, unchanged, under a trusted or embedded key. Handles both formats: ATTESTATION-v1 (a model-call decision) and ACTION-v1 (an agent tool action). No Aqta service in the check.
Read only
Input schema 
{'type': 'object', 'required': ['receipt'], 'properties': {'profile': {'type': 'string', 'description': "Usually omit this. The record's own signed version tag selects the format, and ATTESTATION-v1 is the default. Pass 'ACTION-v1' only to force an agent-action record to be checked as one."}, 'receipt': {'type': ['object', 'string'], 'description': 'The record, as a JSON object or a JSON string.'}, 'public_key': {'type': 'string', 'description': 'Base64url Ed25519 key to trust. Omit to use the key embedded in the record, which proves internal consistency only, never provenance.'}}}
workspace_summary
Summarise your workspace decisions
Outcome, model and policy counts across your recent receipts. Requires your aqta_ key.
Read only
Input schema 
{'type': 'object', 'properties': {'limit': {'type': 'number', 'description': 'How many recent receipts to summarise, default 100.'}}}
History

Recent tool changes

Added
workspace_summary
Sept. 11, 2026, 12:30 a.m.
Added
get_transparency_proof
Sept. 11, 2026, 12:30 a.m.
Added
list_my_receipts
Sept. 11, 2026, 12:30 a.m.
Added
explain_attestation_format
Sept. 11, 2026, 12:30 a.m.
Added
verify_evidence_pack
Sept. 11, 2026, 12:30 a.m.
Added
get_review_pack
Sept. 11, 2026, 12:30 a.m.
Added
get_sample_receipt
Sept. 11, 2026, 12:30 a.m.
Added
get_public_key
Sept. 11, 2026, 12:30 a.m.
Added
decode_receipt
Sept. 11, 2026, 12:30 a.m.
Added
verify_receipt
Sept. 11, 2026, 12:30 a.m.
Discover

Similar MCP servers

DataNexus MCP

com.datanexusmcp/mcp-server

Enables public-data research across domains, patents, government contracts, nonprofits, compliance registries, and software secur…

ampel

io.tooloracle/ampel

Assesses regulated entities and providers against DORA and related ESG, MiCA, and AML requirements, with contract analysis, evide…

predictionguard

io.tooloracle/predictionguard

Analyzes Polymarket and Kalshi markets for insider-trading signals, market integrity risks, sanctions and PEP exposure, conflicts…

Nist Standards

io.github.pipeworx-io/nist-standards

Searches and retrieves NIST SP 800-53 security controls and SP 800-171 CUI requirements, including requirements, guidance, and co…

Sanctions Screening

io.github.pipeworx-io/sanctions-screening

Screens names against US sanctions and export-control lists and retrieves detailed sanctions records.

Dilisense

io.github.pipeworx-io/dilisense

Screens individuals and organizations against sanctions, PEP, criminal, and adverse-watchlist data for AML and KYC checks.

Open Sanctions

io.github.pipeworx-io/open-sanctions

Looks up sanctioned and politically exposed entities, including identifiers, aliases, addresses, sanctions programs, and relation…

Sanctions Io

io.github.pipeworx-io/sanctions-io

Screens individuals and organizations in bulk against sanctions, politically exposed person, and watchlists.