Skip to main content

AstraNL local proof NL

com.astranl/local-proof-nlVersion 1.0.0

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

Status

Responds57 msAnswered our handshake without sign-in.

Registry data may be out of date

We could not refresh it, so this page shows the last copy.
Last checked
Nov 14, 2026, 13:48 UTC
Latency
57 ms
Remotes responding
1 of 1
Sign-in
No sign-in
Hosting
EU hosting detected (detected, not a legal statement)
Registry data as of
Nov 14, 2026, 22:14 UTC

Data from the official MCP Registry, checked by run.zero. How we check

Connect

Streamable HTTP
https://astranl.com/mcp/streamable?profile=localproofResponds57 ms
No sign-in

Claude Code

claude mcp add --transport http local-proof-nl 'https://astranl.com/mcp/streamable?profile=localproof'

Claude Desktop and claude.ai

Settings > Connectors > Add custom connector
Name: local-proof-nl
Remote MCP server URL: https://astranl.com/mcp/streamable?profile=localproof

Cursor

{
  "mcpServers": {
    "local-proof-nl": {
      "url": "https://astranl.com/mcp/streamable?profile=localproof"
    }
  }
}

VS Code

code --add-mcp '{"name":"local-proof-nl","type":"http","url":"https://astranl.com/mcp/streamable?profile=localproof"}'

Built your own server? run.zero hosts MCP servers on European infrastructure.

Host your own MCP server on run.zero

Tools

4 tools

Tools of AstraNL local proof NL
Read-only
Idempotent
Open world
check_taskCurrent state of a task or ingress receipt from create_task, and who must act next. Returns only what is recorded; infers nothing.NoYesYesNo
create_taskAsk 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. Fee: submitting costs nothing; AstraNL charges 1 percent of the transaction only when it coordinated a completed paid task, nothing else.NoNoNoYes
get_evidenceMachine-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.NoYesYesNo
verify_astranlVerify 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.NoYesYesNo

Details

Registry status
Active
Published
Oct 10, 2026
Updated
Oct 10, 2026
Repository
Not given
Categories (suggested)
Invoicing and accountingSuggested categories are assigned automatically from the registry text and may be wrong. Verified operators can correct them.
GDPR
Not declared

Are you the operator? Claim this listing