Discovery

Name: Discovery
Author: nexbid-dev

作者：nexbid-devバージョン 1.0.1i★ –iクラウドで動く

レジストリ名dev.nexbid/discovery

インストール

概要

作者による説明（英語の原文）

Search and discover advertiser products through an open marketplace for AI agents.

PopNx MCPの3つの柱

この3つを1つのスコアにまとめることはしません。意見、測定、人気はそれぞれ別のものだからです。

利用者の声iレビューはまだありませんレビューは今後のステップで、アカウント機能と一緒に始まります
私たちの基本チェックi1項目中1項目に合格公開情報からチェック。コードはまだスキャンしていません
利用状況i未計測★ –

できること

このサーバーのやさしい解説はまだ書いていません。以下はレジストリから読み取った事実です。

接続方法: クラウドで動く
トランスポート: Streamable HTTP
カテゴリ: 検索・AIの記憶

インストール

使っているAIアプリを選んで、設定をコピーしてください。

インストールの前に

基本チェック：1項目中1項目に合格
作者のサーバーで動きます。あなたが頼んだ内容は、作者のサーバーを通ります。
レジストリには、入力が必要なキーは載っていません。

必要なもの

クラウドで動くインストール不要。インターネット経由でつながります

どのアプリを使っていますか？

ClaudeClaude CodeCursorVS CodeChatGPT

上でアプリを選んでください。選んだアプリを覚えておくので、次からはボタンに「…にインストール」と表示されます。

ウェブ、デスクトップ、モバイルのClaudeで使えます：

Settings → Connectors を開く
Add custom connector を押す
下のアドレスを貼り付けて Add を押す
サインインを求められたら、作者のサービスにサインインする

https://mcp.nexbid.dev/mcp

ターミナルでこれを実行します

claude mcp add --transport http discovery https://mcp.nexbid.dev/mcp

Cursorで開く

または、設定を自分でコピーする

プロジェクトの .cursor/mcp.json、または ~/.cursor/mcp.json に貼り付けます

{
  "mcpServers": {
    "discovery": {
      "url": "https://mcp.nexbid.dev/mcp"
    }
  }
}

ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。

VS Codeで開く

または、設定を自分でコピーする

プロジェクトの .vscode/mcp.json に貼り付けます

{
  "servers": {
    "discovery": {
      "type": "http",
      "url": "https://mcp.nexbid.dev/mcp"
    }
  }
}

ChatGPTがつなげるのは、インターネット上のサーバーだけです：

ウェブ版のChatGPTを開き → Settings → Connectors (Apps)
Create または Add を押す（プランによっては、先に Advanced で Developer mode をオンにする必要があります）
下のアドレスを貼り付け、名前を付けて保存する
サインインを求められたら、作者のサービスにサインインする

https://mcp.nexbid.dev/mcp

メニューの名前は、プランや時期によって少し違うことがあります。

選んだアプリは、この端末のCookieに保存されます。アカウントは不要です。

この設定は、作者のレジストリ登録情報から作成しています。READMEと違う場合は、READMEに従ってください。

できること

このサーバーのツール一覧はまだ読み取っていません。エンドポイントは順番にチェックしています。

基本チェックi

誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月7日にチェック

✓ 合格
作者とリポジトリが一致
レジストリ名はドメイン nexbid.dev で確認済みです（レジストリがドメインの所有を確認しています）
… 未チェック
今もメンテナンスされている
このリポジトリはまだGitHubから読み取っていません
… 未チェック
ライセンスがある
このリポジトリはまだGitHubから読み取っていません
… 未チェック
エンドポイントが応答する
まだチェックしていません。エンドポイントは順番にチェックしています
… 未チェック
OAuthでサインイン
まだチェックしていません。エンドポイントは順番にチェックしています
… 未チェック
ツールの説明に隠れた指示がない
まだチェックしていません。エンドポイントをチェックするときにツール一覧を読み取ります

検索・AIの記憶のほかのサーバーとの比較i

このカテゴリのほかの7249件のうち0%よりスターが多い
このカテゴリのほかの7249件のうち5%より最近レジストリに公開
基本チェックの結果が、このカテゴリのほかの7249件のうち100%と同じかそれ以上

レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。

よくある質問

Discoveryは安全ですか？

当てはまる基本チェック1項目のうち1項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。

どんなキーやコードが必要ですか？

レジストリには必須のキーは載っていません。ただし、最初に使うときにサインインを求めるサーバーもあります。

パソコンで動きますか、それともクラウドですか？

作者のクラウドで動きます。インストール不要でインターネット経由でつながりますが、送った内容は作者のサーバーを通ります。

今もメンテナンスされていますか？

GitHubリポジトリの最終更新は–、最新バージョン（1.0.1）がレジストリに届いたのは8 か月前です。

どのアプリで使えますか？

Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。URLでつながるので、リモートMCPサーバーに対応したアプリ（開発者モードのChatGPTなど）でも使えます。

代わりに使えるものは？

同じカテゴリには：Context7, Codebase Memory, Exa

代わりの候補

同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。

カードの見方：★ GitHubスターi3つの柱：レビュー · チェック · 利用状況i更新＝最新バージョンをレジストリに公開した日i

Context7

作者：upstash

Up-to-date docs for AI agents

パソコンでもクラウドでも★ 64,224MIT今日更新

インストール

Codebase Memory

作者：DeusData

Codebase knowledge graph for AI agents — 162 languages, sub-ms queries, 99% fewer tokens.

パソコンで動く★ 48,148MIT20 日前更新

インストール

Exa

作者：exa-labs

Connect AI agents to Exa for web search, content fetching, and multi-step research.

クラウドで動く★ 5,213MIT先月更新

インストール

作者のREADME

READMEを開く

作者のリポジトリから書かれたとおりにコピーしたものです。PopNx MCPは内容を確認・推奨していません。HTML、画像、スクリプトは取り除いています。リンクはこのサイトの外へ移動します。

Protocol Commerce

The open infrastructure for agent-native commerce.

Protocol Commerce is an open initiative to create standardized, auditable, and interoperable protocols for AI agent-driven commerce. This repository contains the specification, SDKs, and technical manifesto.

Directory	Description
`manifesto/`	Why open protocols matter for commerce — principles, landscape analysis, and rationale
`adcp-spec/`	AdCP v0.1.0 — Agentic Discovery Commerce Protocol specification, JSON schemas, and examples
`adcp-sdk-typescript/`	TypeScript SDK: types, validators, client, and scoring reference implementation
`webmcp-reference/`	WebMCP browser integration: expose commerce tools to in-browser AI agents via `navigator.modelContext`
`amdp-spec/`	AMDP v0.1.0 — Agent Mandate Discovery Protocol: cross-vertical authorization spec, JSON schemas, and example mandates
`agentic-kit/`	Agentic Kit — the trust layer: building blocks for verifiable + auditable AI agents
`lean-verification/`	Lean 4 formal verification — 47 theorems proving auction/budget/wallet/policy correctness, `lake build`-checkable

Quick Start

npm install @protocol-commerce/adcp-sdk

import { AdcpClient } from '@protocol-commerce/adcp-sdk';

const client = new AdcpClient({ serverUrl: 'https://mcp.nexbid.dev', apiKey: 'your-api-key', });

const results = await client.search({ query: 'organic olive oil', intent: 'purchase', geo: 'CH', });

The Problem

AI agents are becoming the primary interface for product discovery and purchase. The protocols powering this shift — OpenAI's ACP, Google's UCP — are proprietary and platform-controlled. Publishers have no representation. There is no open standard.

Protocol Commerce fills this gap.

Read the full Technical Manifesto →

Key Principles

Open by Default — MIT-licensed, auditable, forkable
Publisher Parity — Publishers are first-class protocol participants
Privacy Native — Context signals, not user profiles
Transparent Scoring — Public formula: score = 0.4×bid + 0.4×relevance + 0.2×quality

All 7 principles →

Reference Implementation: Nexbid

Nexbid is the production-grade reference implementation of Protocol Commerce, built by digital opua GmbH (CHE-435.289.702, Switzerland).

Metric	Status
MCP Integration	Native — full commerce lifecycle
Formal Verification	Lean 4 — core security properties proven
Privacy	Cookie-free, Swiss-hosted, nDSG + GDPR compliant
AI Scoring	Multi-provider, model-agnostic
Phase	Production-grade closed beta

Connect Any LLM

"mcpServers": { "nexbid": { "url": "https://mcp.nexbid.dev/mcp", "transport": "streamable-http" } } }

Any MCP-compatible LLM (Claude, GPT-4, Gemini) can directly search, browse, and purchase products through the Nexbid marketplace.

Why Formal Verification?

Nexbid is the only commerce platform whose core security properties are mathematically proven in Lean 4 — not just tested, but proven correct for all possible inputs.

→ Technology details · How Nexbid compares

License

MIT — Use it, fork it, build on it. No strings attached.

Discovery

概要

PopNx MCPの3つの柱

できること

インストール

インストールの前に

できること

基本チェックi

作者とリポジトリが一致

今もメンテナンスされている

ライセンスがある

エンドポイントが応答する

OAuthでサインイン

ツールの説明に隠れた指示がない

検索・AIの記憶のほかのサーバーとの比較i

よくある質問

代わりの候補

Context7

Codebase Memory

Exa

作者のREADME

Protocol Commerce

Contents

Quick Start

The Problem

Key Principles

Reference Implementation: Nexbid

Connect Any LLM

Why Formal Verification?

Sponsors

License

Links