AstraNL local proof NL

Working · 1.3 s

com.astranl/local-proof-nlv1.0.0 Domain verified

Verify a place in the Netherlands: a verified local hand checks it, you get a sealed receipt.

Local Services

Website Registry entry

Maintain this server? Claim it

Try it

Call this server's tools from your browser. Nothing to install.

https://astranl.com/mcp/streamable?profile=localproof

Requests go through mcptry because browsers can't call most MCP servers directly. Header values are sent to the server for that request only and are never stored or logged.

Tool list from our last check. Connect live to refresh it.

check_task Read-only

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

task_idstring

task id from check_task or a case

receipt_idstring

RCPT-n from create_task

receipt_keystring

owner key shown once by create_task; without it links are read-only

Tools (4)

check_task

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

read-only

Argument	Type	Description
task_id	string	task id from check_task or a case
receipt_id	string	RCPT-n from create_task
receipt_key	string	owner key shown once by create_task; without it links are read-only

Input schema (JSON)

{
  "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
}

create_task

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.

Argument	Type	Description
need*	string	what must happen, in plain words
proof	string	what evidence closes the task, agreed before work starts
deadline	string	by when; ISO date or plain words
location	string	city or address in the Netherlands
synthetic	boolean	true marks a test that must never be counted or executed
budget_cents	integer	budget in euro cents
reply_channel	string	email or https URL where AstraNL may answer you

Input schema (JSON)

{
  "type": "object",
  "required": [
    "need"
  ],
  "properties": {
    "need": {
      "type": "string",
      "maxLength": 800,
      "description": "what must happen, in plain words"
    },
    "proof": {
      "type": "string",
      "maxLength": 400,
      "description": "what evidence closes the task, agreed before work starts"
    },
    "deadline": {
      "type": "string",
      "maxLength": 100,
      "description": "by when; ISO date or plain words"
    },
    "location": {
      "type": "string",
      "maxLength": 200,
      "description": "city or address in the Netherlands"
    },
    "synthetic": {
      "type": "boolean",
      "description": "true marks a test that must never be counted or executed"
    },
    "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"
    }
  },
  "additionalProperties": false
}

get_evidence

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.

read-only

Argument	Type	Description
task_id*	string	task id, action id or receipt id

Input schema (JSON)

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

verify_astranl

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.

read-only

Argument	Type	Description
ref*	string	Any AstraNL reference: action receipt ASTRA-A-..., policy receipt ASTRA-R-..., consumption ASTRA-C-..., log event alk_..., attestation att_/atr_..., ingress receipt RCPT-n

Input schema (JSON)

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