Server definition

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

The blob, as servednamed by its sha256

{
  "instructions": "AstraNL connects a real task to a verified real-world outcome in the Netherlands and returns evidence another system can check. If you do not know which tool fits, call ask_astranl with your task in plain words: it returns which tool to call, what to supply, what can and cannot be verified, and whether AstraNL can help at all. To have a task executed use create_task; to follow it use check_task; for signed evidence use get_evidence; to check a reference someone gave you use verify_astranl; for source-linked context on tenders or products use ground_astranl. Before paying, onboarding or signing with a Dutch or EU company, use check_counterparty_nl: official register, VAT and sanctions facts, read-only; record_counterparty_check makes one result verifiable by a colleague. Reading, asking and verifying need no key and cost nothing; AstraNL charges 1 percent only on a completed paid coordination. Every tool states in meta.astranl when to use it, what it returns and what it does not verify.",
  "tools": [
    {
      "description": "Check a Dutch or EU counterparty against official sources before your own next step, such as onboarding a supplier, paying an invoice or signing an order. Give the KvK number, the company name and the EU VAT number as your document states them. Returns verdicts, not register data: whether the KvK number has an active registration, whether the name matches a registered name, whether the VAT number is valid in VIES and whether its VIES name matches the register, EU sanctions list candidates, whether an insolvency case is published under the KvK number in the Dutch insolvency register, open questions and a check_id. Read-only, no key, no cost. AstraNL does not search the Dutch register by name; look a number up at kvk.nl. When a colleague or auditor must verify it later, call record_counterparty_check with the check_id. It does not prove who may sign for the company, who owns a bank account, solvency or reliability.",
      "inputSchema": {
        "additionalProperties": false,
        "minProperties": 1,
        "properties": {
          "city": {
            "description": "not used; kept for compatibility, AstraNL does not search the register by name",
            "maxLength": 80,
            "type": "string"
          },
          "company_name": {
            "description": "the company name exactly as your document or contact states it",
            "maxLength": 200,
            "type": "string"
          },
          "kvk_number": {
            "description": "Dutch KvK number, 8 digits, as printed on the invoice, quote or website",
            "maxLength": 12,
            "type": "string"
          },
          "purpose": {
            "description": "optional: the next action you are about to take, for example approve supplier or pay invoice",
            "maxLength": 200,
            "type": "string"
          },
          "vat_number": {
            "description": "EU VAT number with country prefix, for example NL810433941B01",
            "maxLength": 20,
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "check_counterparty_nl",
      "outputSchema": null
    },
    {
      "description": "Make a result of check_counterparty_nl verifiable by others: records its digest in the AstraNL signed public log and returns a reference that a colleague, approver or auditor can check later with verify_astranl, without trusting AstraNL. Works only for a check AstraNL produced in the last 48 hours. The public record holds no name, number or address of the checked party. Calling it again returns the same reference.",
      "inputSchema": {
        "additionalProperties": false,
        "properties": {
          "check_id": {
            "description": "the check_id returned by check_counterparty_nl, ASTRA-K- and 16 characters",
            "maxLength": 40,
            "type": "string"
          }
        },
        "required": [
          "check_id"
        ],
        "type": "object"
      },
      "name": "record_counterparty_check",
      "outputSchema": null
    },
    {
      "description": "Verify any AstraNL reference without a key. Returns two separate layers: integrity (payload hash, Ed25519 signature, Merkle inclusion, recomputed live) and claim (what exactly is attested, by whom, from which source, when, under which method, with which validity limits and current status VALID/EXPIRED/REVOKED/UNKNOWN). Integrity never implies the claim is true for your purpose; you apply your own acceptance rules. Tells you when to re-verify and how to consume a VALID receipt for a next action. Read-only, deterministic, no model in the path.",
      "inputSchema": {
        "additionalProperties": false,
        "properties": {
          "ref": {
            "description": "Any AstraNL reference: action receipt ASTRA-A-..., policy receipt ASTRA-R-..., consumption ASTRA-C-..., log event alk_..., attestation att_/atr_..., ingress receipt RCPT-n",
            "maxLength": 64,
            "minLength": 4,
            "type": "string"
          }
        },
        "required": [
          "ref"
        ],
        "type": "object"
      },
      "name": "verify_astranl",
      "outputSchema": null
    }
  ]
}

Verify it yourself

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