Connect

8 clients · secrets stay placeholders

JSON (mcpServers)Claude CodeCodexOpenCodeCursorVS CodeGemini CLIGoose

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

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

[mcp_servers.local-proof-nl]
url = "https://astranl.com/mcp/streamable?profile=localproof"

{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "local-proof-nl": {
      "type": "remote",
      "url": "https://astranl.com/mcp/streamable?profile=localproof",
      "enabled": true
    }
  }
}

{
  "mcpServers": {
    "local-proof-nl": {
      "type": "http",
      "url": "https://astranl.com/mcp/streamable?profile=localproof"
    }
  },
  "deeplink": "cursor://anysphere.cursor-deeplink/mcp/install?name=local-proof-nl&config=eyJ0eXBlIjoiaHR0cCIsInVybCI6Imh0dHBzOi8vYXN0cmFubC5jb20vbWNwL3N0cmVhbWFibGU%2FcHJvZmlsZT1sb2NhbHByb29mIn0%3D"
}

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

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

extensions:
  "local-proof-nl":
    enabled: true
    name: "local-proof-nl"
    type: streamable_http
    uri: "https://astranl.com/mcp/streamable?profile=localproof"
    timeout: 300

Quality 100 / 100strong

protocol100 · weight 25

pass
protocol.modernsupports 2026-07-28 (server/discover)
pass
protocol.statelessanswers without a session
pass
protocol.transportstreamable HTTP
pass
protocol.list_ttltool list is cacheable (ttlMs 300000)

authorizationn/a · weight 15

n/a
auth.prm, auth.as_metadata, auth.cimdno remote uses OAuth
n/a
auth.secret_in_urlno templated URL

tool hygiene100 · weight 30

pass
tools.descriptionsevery tool has a description
pass
tools.description_lengthdescriptions are concise
pass
tools.schemasevery tool has an object input schema
pass
tools.annotations4 of 4 tools declare readOnlyHint or destructiveHint
pass
tools.directory_hintsevery tool declares readOnlyHint, destructiveHint, idempotentHint and openWorldHint
pass
tools.token_costabout 839 tokens to load every tool
pass
tools.api_dumptools are not a one-to-one API dump

stability100 · weight 15

pass
stability.changesno tool changes in 30 days
pass
stability.rug_pullno tool changed its meaning under the same name

dependenciesn/a · weight 15

n/a
deps.known_vulns, deps.mcp_sdk_version, deps.resolvableno npm or PyPI package

4 tools, about 839 tokens to load them all · tool set 2b5a0f05ff89 · checked 2026-10-19 10:52 UTC

Tool changes

No tool definition changes recorded. A server's first observation is its baseline; later probes record what changes.

Checks run on what our credential-free, read-only probes observe; tools are never called and no code audit is performed. How it is computed.

Trust 83 / 100

no-repository

provenance55

liveness100

freshness100

hygiene80

+dns-namespace +website +reachable +uptime-100% +updated-9d-ago -no-repository

Derived from observable signals (official registry feed and our own credential-free probes); no code audit performed. How it is computed.

Endpoints

remote	auth	reachable	uptime 30d	p50	protocol	last ok
`https://astranl.com/mcp/streamable?profile=localproof` streamable-http	none	yes	100%	401 ms	2026-07-28	2026-10-19

Tools (4)

`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.
`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.
`get_evidence`read-only	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`read-only	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.

Schemas: list_tools.

Similar MCP servers

More from com.astranl

Official server.json

{
  "name": "com.astranl/local-proof-nl",
  "title": "AstraNL local proof NL",
  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
  "remotes": [
    {
      "url": "https://astranl.com/mcp/streamable?profile=localproof",
      "type": "streamable-http"
    }
  ],
  "version": "1.0.0",
  "websiteUrl": "https://astranl.com/for-agents/",
  "description": "Verify a place in the Netherlands: a verified local hand checks it, you get a sealed receipt."
}