Server definition

Hash: sha256:dbd756933acb74cbbb7e1184836b8623ee5e457c2838ace471bd5dc573f71ccb
What it is: What a remote MCP server returned when asked what it offers: 10 tools

The blob, as servednamed by its sha256

{
  "instructions": "Seal answers what an AI system was allowed to do. ATTESTATION-v1 records a model-call decision; ACTION-v1 records an agent tool action; a refusal is a signed record, not an absence. These tools are read-only: they verify and read records using the published reference verifier, and every record is also checkable offline with npx aqta-verify-receipt. Ground answers in the signed envelopes and verification results, never in stored or dashboard state. When reporting a verdict, include its stated limits: a signature shows fields unchanged, not that the record matches what ran, nor that nothing was omitted.",
  "tools": [
    {
      "description": "Read a receipt field by field, with stated limits. Does not check the signature.",
      "inputSchema": {
        "properties": {
          "receipt": {
            "type": [
              "object",
              "string"
            ]
          }
        },
        "required": [
          "receipt"
        ],
        "type": "object"
      },
      "name": "decode_receipt",
      "outputSchema": null
    },
    {
      "description": "The receipt format: fields, outcomes, verification commands, and what a signature does not establish. Use before describing the format.",
      "inputSchema": {
        "properties": {},
        "type": "object"
      },
      "name": "explain_attestation_format",
      "outputSchema": null
    },
    {
      "description": "Fetch the published Seal signing key.",
      "inputSchema": {
        "properties": {},
        "type": "object"
      },
      "name": "get_public_key",
      "outputSchema": null
    },
    {
      "description": "The published sample evidence pack: fixed review question, bound receipts, disclosure.",
      "inputSchema": {
        "properties": {
          "pack_id": {
            "description": "Pack id. Only the published \"sample\" pack is available without an account.",
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "get_review_pack",
      "outputSchema": null
    },
    {
      "description": "A genuine signed receipt from the sample workspace (demo key), for trying verification.",
      "inputSchema": {
        "properties": {
          "outcome": {
            "description": "Pick a sample with this outcome. A BLOCKED receipt was signed without the call reaching the provider.",
            "enum": [
              "ALLOWED",
              "BLOCKED",
              "SUPPRESSED"
            ],
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "get_sample_receipt",
      "outputSchema": null
    },
    {
      "description": "Inclusion proof plus signed tree head for one of your receipts. Requires your aqta_ key.",
      "inputSchema": {
        "properties": {
          "attestation_id": {
            "type": "string"
          }
        },
        "required": [
          "attestation_id"
        ],
        "type": "object"
      },
      "name": "get_transparency_proof",
      "outputSchema": null
    },
    {
      "description": "List your workspace receipts filtered by outcome, policy, model, or date range. Requires your aqta_ key as Bearer.",
      "inputSchema": {
        "properties": {
          "limit": {
            "description": "Max rows, default 25.",
            "type": "number"
          },
          "model": {
            "description": "Only receipts for this model.",
            "type": "string"
          },
          "outcome": {
            "description": "Only receipts with this outcome.",
            "enum": [
              "ALLOWED",
              "BLOCKED",
              "SUPPRESSED",
              "PASSED"
            ],
            "type": "string"
          },
          "policy": {
            "description": "Only receipts where this policy ran, e.g. pii_scan.",
            "type": "string"
          },
          "since": {
            "description": "ISO timestamp lower bound.",
            "type": "string"
          },
          "until": {
            "description": "ISO timestamp upper bound.",
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "list_my_receipts",
      "outputSchema": null
    },
    {
      "description": "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.",
      "inputSchema": {
        "properties": {
          "pack": {
            "description": "A pack object, or \"sample\" for the published sample pack.",
            "type": [
              "object",
              "string"
            ]
          },
          "public_key": {
            "description": "Key to pin every receipt against. Omit to use each envelope's embedded key.",
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "verify_evidence_pack",
      "outputSchema": null
    },
    {
      "description": "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.",
      "inputSchema": {
        "properties": {
          "profile": {
            "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.",
            "type": "string"
          },
          "public_key": {
            "description": "Base64url Ed25519 key to trust. Omit to use the key embedded in the record, which proves internal consistency only, never provenance.",
            "type": "string"
          },
          "receipt": {
            "description": "The record, as a JSON object or a JSON string.",
            "type": [
              "object",
              "string"
            ]
          }
        },
        "required": [
          "receipt"
        ],
        "type": "object"
      },
      "name": "verify_receipt",
      "outputSchema": null
    },
    {
      "description": "Outcome, model and policy counts across your recent receipts. Requires your aqta_ key.",
      "inputSchema": {
        "properties": {
          "limit": {
            "description": "How many recent receipts to summarise, default 100.",
            "type": "number"
          }
        },
        "type": "object"
      },
      "name": "workspace_summary",
      "outputSchema": null
    }
  ]
}

Verify it yourself

curl -s https://api.teppi.xyz/v1/evidence/sha256:dbd756933acb74cbbb7e1184836b8623ee5e457c2838ace471bd5dc573f71ccb | sha256sum