AstraNL

Turn a real-world task or question into a routing decision: whether AstraNL can help, which one tool to call, what to supply, what can and cannot be verified. No commitment, nothing created, no key. Also answers whether a physical task is feasible in the Netherlands.

{
  "type": "object",
  "properties": {
    "question": {
      "type": "string",
      "maxLength": 400,
      "description": "your task or question in plain words, any language"
    }
  },
  "required": [
    "question"
  ],
  "additionalProperties": false
}

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.

{
  "type": "object",
  "properties": {
    "kvk_number": {
      "type": "string",
      "maxLength": 12,
      "description": "Dutch KvK number, 8 digits, as printed on the invoice, quote or website"
    },
    "company_name": {
      "type": "string",
      "maxLength": 200,
      "description": "the company name exactly as your document or contact states it"
    },
    "vat_number": {
      "type": "string",
      "maxLength": 20,
      "description": "EU VAT number with country prefix, for example NL810433941B01"
    },
    "city": {
      "type": "string",
      "maxLength": 80,
      "description": "not used; kept for compatibility, AstraNL does not search the register by name"
    },
    "purpose": {
      "type": "string",
      "maxLength": 200,
      "description": "optional: the next action you are about to take, for example approve supplier or pay invoice"
    }
  },
  "minProperties": 1,
  "additionalProperties": false
}

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.

{
  "type": "object",
  "properties": {
    "check_id": {
      "type": "string",
      "maxLength": 40,
      "description": "the check_id returned by check_counterparty_nl, ASTRA-K- and 16 characters"
    }
  },
  "required": [
    "check_id"
  ],
  "additionalProperties": false
}

Ask AstraNL to find and coordinate a verified executor for a physical task in the Netherlands. Returns an ingress receipt at once and a case once planning found a path; the client pays the executor directly; AstraNL holds no money.

{
  "type": "object",
  "properties": {
    "need": {
      "type": "string",
      "maxLength": 800,
      "description": "what must happen, in plain words"
    },
    "location": {
      "type": "string",
      "maxLength": 200,
      "description": "city or address in the Netherlands"
    },
    "deadline": {
      "type": "string",
      "maxLength": 100,
      "description": "by when; ISO date or plain words"
    },
    "proof": {
      "type": "string",
      "maxLength": 400,
      "description": "what evidence closes the task, agreed before work starts"
    },
    "budget_cents": {
      "type": "integer",
      "minimum": 100,
      "description": "budget in euro cents"
    },
    "reply_channel": {
      "type": "string",
      "maxLength": 300,
      "description": "email or https URL where AstraNL may answer you"
    },
    "synthetic": {
      "type": "boolean",
      "description": "true marks a test that must never be counted or executed"
    }
  },
  "required": [
    "need"
  ],
  "additionalProperties": false
}

Current state of a task or ingress receipt from create_task, and who must act next. Returns only what is recorded; infers nothing.

{
  "type": "object",
  "properties": {
    "task_id": {
      "type": "string",
      "maxLength": 40,
      "description": "task id from check_task or a case"
    },
    "receipt_id": {
      "type": "string",
      "maxLength": 40,
      "description": "RCPT-n from create_task"
    },
    "receipt_key": {
      "type": "string",
      "maxLength": 80,
      "description": "owner key shown once by create_task; without it links are read-only"
    }
  },
  "minProperties": 1,
  "additionalProperties": false
}

Machine-checkable evidence for an AstraNL task, action or receipt: the signed log events that mention it, each verified live, with a proof block stating what is verified, what is not, validity, status, limitations and next actions.

{
  "type": "object",
  "properties": {
    "task_id": {
      "type": "string",
      "maxLength": 40,
      "description": "task id, action id or receipt id"
    }
  },
  "required": [
    "task_id"
  ],
  "additionalProperties": false
}

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.

{
  "type": "object",
  "properties": {
    "ref": {
      "type": "string",
      "minLength": 4,
      "maxLength": 64,
      "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"
    }
  },
  "required": [
    "ref"
  ],
  "additionalProperties": false
}

Get compact, source-linked real-world context for an LLM in ONE read-only call. Searches AstraNL public materials or tender records, or its protocol identity. Use source=public_tenders for tenders, materials for products; auto keeps domains separate. Returns record update times, fresh/stale/unknown labels, record disagreements, coverage gaps and ready-to-use context_text. Never books, contacts or pays anyone. Not a general web search: no match is not proof of absence; a cached price is not a quote. Optional astranl.reality-link.v2 profile checks exact source-record claims. It does not promote registry records to independently verified real-world facts. official.deadline on tender:TED-* records is checked live at the EU publisher (TED), budgeted and cached; unavailable means UNKNOWN.

{
  "type": "object",
  "properties": {
    "query": {
      "type": "string",
      "minLength": 2,
      "maxLength": 1600,
      "description": "Short subject, product keywords or identifier; all product keyword groups must match."
    },
    "source": {
      "type": "string",
      "enum": [
        "auto",
        "materials",
        "public_tenders",
        "protocol_identity",
        "all"
      ],
      "default": "auto",
      "description": "v1: auto, materials, public_tenders, protocol_identity or all. v2 requires an explicit materials, public_tenders or protocol_identity."
    },
    "max_items": {
      "type": "integer",
      "minimum": 1,
      "maximum": 12,
      "default": 6,
      "description": "v1 only; v2 looks up at most 12 records and refuses max_items."
    },
    "budget_ms": {
      "type": "integer",
      "minimum": 50,
      "maximum": 1500,
      "default": 750
    },
    "max_age_seconds": {
      "type": "integer",
      "minimum": 60,
      "maximum": 604800,
      "default": 86400
    },
    "protocol": {
      "type": "string",
      "enum": [
        "astranl.reality-link.v2"
      ],
      "description": "Omit for the v1 context call. Set to astranl.reality-link.v2 together with claims to check typed claims against source records."
    },
    "claims": {
      "type": "array",
      "minItems": 1,
      "maxItems": 16,
      "description": "v2 only. Each claim names a record id from a previous result, a predicate and the expected value.",
      "items": {
        "type": "object",
        "additionalProperties": false,
        "required": [
          "id",
          "record_id",
          "predicate",
          "expected"
        ],
        "properties": {
          "id": {
            "type": "string",
            "minLength": 1,
            "maxLength": 64
          },
          "record_id": {
            "type": "string",
            "minLength": 1,
            "maxLength": 200
          },
          "predicate": {
            "type": "string",
            "enum": [
              "record.title",
              "record.brand",
              "record.listed_price",
              "record.stock_reported",
              "record.closing_date",
              "reality.stock_available",
              "reality.delivery_by",
              "reality.suitable_for",
              "official.deadline"
            ]
          },
          "expected": {
            "anyOf": [
              {
                "type": "string",
                "minLength": 1,
                "maxLength": 600
              },
              {
                "type": "object",
                "additionalProperties": false,
                "required": [
                  "amount",
                  "currency"
                ],
                "properties": {
                  "amount": {
                    "type": "string",
                    "pattern": "^\\d{1,10}(\\.\\d{1,2})?$"
                  },
                  "currency": {
                    "type": "string",
                    "pattern": "^[A-Z]{3}$"
                  }
                }
              }
            ]
          }
        }
      }
    }
  },
  "required": [
    "query"
  ],
  "additionalProperties": false
}

Search AstraNL coordination data (robots registry, service categories, and merchant parts by keyword). Returns a list of results, each with an id and a short title/snippet, for use with the fetch tool. Read-only. This is the generic discovery entry point expected by agent frameworks.

{
  "type": "object",
  "properties": {
    "query": {
      "type": "string",
      "maxLength": 120,
      "description": "Free-text search query."
    }
  },
  "required": [
    "query"
  ],
  "additionalProperties": false
}

Fetch the full record for a single result id returned by search (robot passport, category detail, or merchant SKU). Read-only.

{
  "type": "object",
  "properties": {
    "id": {
      "type": "string",
      "maxLength": 120,
      "description": "Result id from search (e.g. robot:DJI-Matrice, sku:16759:Green-flor)."
    }
  },
  "required": [
    "id"
  ],
  "additionalProperties": false
}