AstraNL local proof NL
Verify a place in the Netherlands: a verified local hand checks it, you get a sealed receipt.
Connect it
Settings → Connectors → Add custom connector
URL: https://astranl.com/mcp/streamable?profile=localproofSettings → Apps & Connectors → Advanced → Developer mode
Create connector with URL: https://astranl.com/mcp/streamable?profile=localproof{
"mcpServers": {
"local-proof-nl": {
"url": "https://astranl.com/mcp/streamable?profile=localproof"
}
}
}claude mcp add --transport http local-proof-nl https://astranl.com/mcp/streamable?profile=localproof{
"servers": {
"local-proof-nl": {
"type": "http",
"url": "https://astranl.com/mcp/streamable?profile=localproof"
}
}
}4 tools, verified live
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.
check_taskread-onlyCurrent state of a task or ingress receipt from create_task, and who must act next. Returns only what is recorded; infers nothing.
get_evidenceread-onlyMachine-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_astranlread-onlyVerify 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
Alternatives in Other
Compare →KMKolmo MCP ServerB
WA permit rules (city + state baseline, cited), parcel zoning, L&I checks, Seattle estimates & ROI
FSFabrica (Sepolia testnet)B
Fabrica test properties on Sepolia: try every Fabrica tool with no real-world effect.
TYTypeformOfficialB
Build and edit forms, manage automations and contacts, and analyze responses.
RHRhylthymeB
Real-time multi-track schedules for cooking, lab protocols, events and workouts. Validate and share.
ATAtlasB
The world railway atlas as MCP tools: notable train routes, night trains, journey times.
CICircleCIOfficialB
CircleCI's MCP server: inspect projects, runs, workflows, jobs, logs, tests, and artifacts.