Seal

What it can reach

From its install config and its own description; a sandbox run will confirm this later.

Checks on v1.0.0

1. Real tool

   passrules 2026-09-29.1 · 3 hours ago

2. Static scan

   passrules 2026-09-29.1 · 3 hours ago

3. Claims check

   skippedrules 2026-09-29.1 · 3 hours ago
   • infoLLM claims check is not configured on this deploy.

Install

Each app still asks you to confirm. Everything is pinned to the version checked above.

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

Tools it offers

As the server describes them. This text comes from the publisher and is shown as-is.

• verify_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.

• decode_receipt

  Read a receipt field by field, with stated limits. Does not check the signature.

• 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. Each verdict comes from the signed envelope itself, never from stored state, and results are per-receipt, never an average.

• explain_attestation_format

  The receipt format: fields, outcomes, verification commands, and what a signature does not establish. Use before describing the format.

• list_my_receipts

  List your workspace receipts filtered by outcome, policy, model, or date range. Requires your aqta_ key as Bearer.

• get_transparency_proof

  Inclusion proof plus signed tree head for one of your receipts. Requires your aqta_ key.

• workspace_summary

  Outcome, model and policy counts across your recent receipts. Requires your aqta_ key.