AstraNL local proof NL

Name: AstraNL local proof NL
Author: astranl.com

by astranl.comversion 1.0.0i★ –iRuns in the cloud

Registry namecom.astranl/local-proof-nl

How to install

Overview

Description from the maker (original English)

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

What you can do with it

We have not written a plain-language summary for this one yet. Below are the facts we read from the registry.

Connection: Runs in the cloud
Transport: Streamable HTTP
Category: Other

Install

Pick the AI app you use, then copy the settings.

Passed 2/3 checks · What you ask goes through the maker’s server (astranl.com)

First: which AI do you use?

ClaudeWeb · app · phoneChatGPTWebClaude CodeTerminalCursorCode editorVS CodeCode editorOtherOther apps

Pick your app and the steps appear below.

Works with Claude · about 2 min

No key, nothing to install · Set it up once on claude.ai or the desktop app, then use it in chat · free accounts can add 1

Open Claude’s Connectors page
CustomizeConnectors
Done
Click “+ Add” → “Add custom connector” and fill in these 2 fields
Copy each value into the field with the same name in Claude, then click Continue
Name · NameAstraNL local proof NL
Remote MCP server URL · Addresshttps://astranl.com/mcp/streamable?profile=localproof
Leave Authentication as Claude detected it, then click Add
Done
Turn it on in a chat
+ConnectorsAstraNL local proof NL
Done
Try it
Use AstraNL local proof NL and tell me what you can do for me, then show me one thing
✓ If Claude says it is using AstraNL local proof NL or shows a AstraNL local proof NL tool in the answer, you are connected

Menu names checked against Anthropic’s help page on Nov 11, 2026 · your screen may differ slightly by app version

Works with ChatGPT on business plans only

ChatGPT Business, Enterprise or Edu on the web, added by a workspace admin or owner · On Free, Plus or Pro: your ChatGPT plan cannot connect MCP yet

Open ChatGPT’s add-MCP page on the web
Plugins+Add custom MCP server
Done
Fill in the name and address
Enter a name, paste the address under Connection, tick the risk warning and click Create as a plugin
Name · NameAstraNL local proof NL
Connection · Addresshttps://astranl.com/mcp/streamable?profile=localproof
Done
Pick AstraNL local proof NL in a chat
Start a new chat and pick AstraNL local proof NL from your plugins before typing
Done
Try it
Use AstraNL local proof NL and tell me what you can do for me, then show me one thing
✓ If ChatGPT says it is using AstraNL local proof NL or shows a AstraNL local proof NL tool in the answer, you are connected

Menu names checked against OpenAI’s help page on Nov 11, 2026 · your screen may differ slightly by app version

Works with Claude Code · about 2 min

No key, nothing to install

Open Terminal
Mac: press Command+Space and type Terminal · Windows: open PowerShell
Done

Paste this command and press Enter

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

Done

Type /mcp in Claude Code
You should see AstraNL local proof NL listed as connected
Done
Try it
Use AstraNL local proof NL and tell me what you can do for me, then show me one thing
✓ If Claude Code says it is using AstraNL local proof NL or shows a AstraNL local proof NL tool in the answer, you are connected

Menu names checked against Anthropic’s help page on Nov 11, 2026 · your screen may differ slightly by app version

Works with Cursor · about 2 min

No key, nothing to install

Click this button to open Cursor
Open in Cursor
Cursor asks you to confirm; click Install
Done
Open the AI chat in Cursor in Agent mode
Done
Try it
Use AstraNL local proof NL and tell me what you can do for me, then show me one thing
✓ If Cursor says it is using AstraNL local proof NL or shows a AstraNL local proof NL tool in the answer, you are connected

Menu names checked against Cursor’s help page on Nov 11, 2026 · your screen may differ slightly by app version

Works with VS Code · about 2 min

No key, nothing to install

Click this button to open VS Code
Open in VS Code
VS Code asks you to confirm; click Install
Done
Open the AI chat in VS Code in Agent mode
Done
Try it
Use AstraNL local proof NL and tell me what you can do for me, then show me one thing
✓ If VS Code says it is using AstraNL local proof NL or shows a AstraNL local proof NL tool in the answer, you are connected

Menu names checked against VS Code’s help page on Nov 11, 2026 · your screen may differ slightly by app version

Other apps that use MCP, such as Windsurf, Zed or Gemini CLI, each add servers differently. See how in the app list.

See every app that uses MCP →

Address for apps that connect over the web

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

JSON settings are under “For developers” below

Stuck? Ask people who use AstraNL local proof NL💬 Discussion →

For developers: Terminal commands and JSON settings

Over the web

Claude Code

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

Cursor (~/.cursor/mcp.json)

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

VS Code (mcp.json)

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

These settings are generated from the maker’s registry entry. If the README says otherwise, follow the README.

At a glance

GitHub stars i: –
Downloads per weeki: Not on npm/PyPI
Verified domain: ✓ astranl.com
Licence i: No licence stated
Connection: Runs in the cloud
Transport: streamable-http
Latest versioni: 1.0.0
Categoryi: Other
Published to registryi: Oct 10, 2026
Code last changedi: –
Maker: astranl.com
Repo: –
Website: astranl.com
Registry status: Active

Which apps can use it

Based on how this server connects and on each app’s own docs, checked Nov 10, 2026.

Connect over the internet in

Claude ChatGPT Goose LM Studio Msty Studio Cherry Studio Cursor VS Code + GitHub Copilot Visual Studio Windsurf (Devin Desktop)Zed Kiro Cline Continue JetBrains AI Assistant Claude Code Codex CLI Gemini CLI OpenCode nodecode Warp LibreChat Open WebUI Raycast

All apps, with pros and cons →

What it can do

Tool names and descriptions exactly as the server reported them on Nov 8, 2026. The maker wrote them, not us; we show them as plain text.

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 1
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 curren

Basic checksi

We check information anyone can see; we have not read the code. Checks that do not apply are left out of the count. · Checked Nov 12, 2026

! Caution
Maker matches the repo
The registry lists no source repo, so we cannot match the publisher (astranl.com) to the code
… Not checked yet
Still maintained
We have not read this repo from GitHub yet
… Not checked yet
Has a licence
We have not read this repo from GitHub yet
✓ Pass
Endpoint responds
Responded in 31 ms (HTTP 200)
– Not applicable
Sign-in with OAuth
No sign-in needed
✓ Pass
No hidden instructions in tool descriptions
Read 4 tool descriptions and found no hidden instructions to the AI

Discussion

Ask, share a tip or report that it does not work. Sorted by what people marked helpful.

No posts yet. Be the first to ask or share.

Posts here are written by users, not the PopNx team.

User reviews

No reviews yet

Compared with others in Otheri

More stars than 0% of the other 19280 servers in this category
Published to the registry more recently than 58% of the other 19280 servers in this category
Basic checks equal to or better than 42% of the other 19280 servers in this category

Compared with every active server in this category in the registry. Stars count only when the publisher owns the repo.

Common questions

Is AstraNL local proof NL safe?

It passed 2 of 3 applicable basic checks. We have not read the code. Before adding a key or token, see what access the server asks for and use a key with only the permissions you need.

What keys or codes does it need?

The registry does not list a required key, though some servers ask you to sign in on first use.

Does it run on my computer or in the cloud?

It runs in the maker’s cloud. Connect over the internet with nothing to install, but what you send passes through the maker’s servers.

Is it still maintained?

The GitHub repo last changed –, and the latest version (1.0.0) reached the registry 32 days ago.

Which apps can use it?

Apps that support MCP, such as Claude Desktop, Claude Code, Cursor and VS Code. It connects by URL, so apps that accept remote MCP servers work too, such as ChatGPT Business and above.

What can I use instead?

In the same category: World Monitor, Claude Flow, Tldraw

Alternatives

Servers in the same category from other makers, sorted by stars.

Reading a card:↓ Downloads per weeki★ GitHub starsiThree pillars: reviews · checks · usageiUpdated = latest version published to the registryi

World Monitor

Real-time global intelligence on conflict, markets, energy, trade, shipping and cyber. 102 tools.

by koala73Widely used★ 90.5KUpdated today

Runs in the cloud✓ worldmonitor.app

Install

Claude Flow

AI orchestration with hive-mind swarms, neural networks, and 87 MCP tools for enterprise dev.

by ruvnetWidely used↓ 13.5K/wk★ 81.5KUpdated 14 months ago

Runs on your computer

Install

Tldraw

Draw and visually collaborate with your agents on tldraw's canvas.

by tldrawWidely used★ 51.4KUpdated 8 months ago

Runs in the cloud

Install

README from the maker

No README found in the repo

AstraNL local proof NL

Overview

What you can do with it

Install

Open Claude’s Connectors page

Click “+ Add” → “Add custom connector” and fill in these 2 fields

Turn it on in a chat

Try it

Open ChatGPT’s add-MCP page on the web

Fill in the name and address

Pick AstraNL local proof NL in a chat

Try it

Open Terminal

Paste this command and press Enter

Type /mcp in Claude Code

Try it

Click this button to open Cursor

Open the AI chat in Cursor in Agent mode

Try it

Click this button to open VS Code

Open the AI chat in VS Code in Agent mode

Try it

Over the web

At a glance

Which apps can use it

Related guides

What it can do

Basic checksi

Maker matches the repo

Still maintained

Has a licence

Endpoint responds

Sign-in with OAuth

No hidden instructions in tool descriptions

Discussion

User reviews

Compared with others in Otheri

Common questions

Alternatives

World Monitor

Claude Flow

Tldraw

README from the maker