AstraNL local proof NL

Connect Remote server

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

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

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

Settings > Connectors > Add custom connector
URL: https://astranl.com/mcp/streamable?profile=localproof

Tools 4 found in our last check

• 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. Fee: submitting costs nothing; AstraNL charges…

• 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.

• 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.

• 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 curre…

Details

More productivity servers See all

• China With Me — Hardware Prototyping & Exhibition MCP

  China hardware prototyping, verified trade show calendar, remote exhibition viewer & sourcing.

• Flamigo

  Turn notes into slides, edit presentations, compare designs, and export HTML or PowerPoint.

• humans fix ai

  Ask a real, manually approved developer for help. Nothing is sent until you say yes.

• Leaklens

  Check coding-benchmark tasks for leaked fixes: per-task tier, quote and fix-commit date.

• iinventedlight Library

  Public notes and openly licensed reference library from iinventedlight.

• Kuotia

  Spanish tax calendar, RETA and IRPF estimates and guides for autónomos in Spain, by Kuotia.