{
  "markdown": "# Protocol Commerce\n\n> The open infrastructure for agent-native commerce.\n\nProtocol 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.\n\n## Contents\n\n| Directory | Description |\n|-----------|-------------|\n| [`manifesto/`](manifesto/) | Why open protocols matter for commerce — principles, landscape analysis, and rationale |\n| [`adcp-spec/`](adcp-spec/) | **AdCP v0.1.0** — Agentic Discovery Commerce Protocol specification, JSON schemas, and examples |\n| [`adcp-sdk-typescript/`](adcp-sdk-typescript/) | TypeScript SDK: types, validators, client, and scoring reference implementation |\n| [`webmcp-reference/`](webmcp-reference/) | WebMCP browser integration: expose commerce tools to in-browser AI agents via `navigator.modelContext` |\n| [`amdp-spec/`](amdp-spec/) | **AMDP v0.1.0** — Agent Mandate Discovery Protocol: cross-vertical authorization spec, JSON schemas, and example mandates |\n| [`agentic-kit/`](agentic-kit/) | **Agentic Kit** — the trust layer: building blocks for verifiable + auditable AI agents |\n| [`lean-verification/`](lean-verification/) | **Lean 4 formal verification** — 47 theorems proving auction/budget/wallet/policy correctness, `lake build`-checkable |\n\n## Quick Start\n\n```bash\nnpm install @protocol-commerce/adcp-sdk\n```\n\n```typescript\nimport { AdcpClient } from '@protocol-commerce/adcp-sdk';\n\nconst client = new AdcpClient({\n  serverUrl: 'https://mcp.nexbid.dev',\n  apiKey: 'your-api-key',\n});\n\nconst results = await client.search({\n  query: 'organic olive oil',\n  intent: 'purchase',\n  geo: 'CH',\n});\n```\n\n## The Problem\n\nAI 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.\n\n**Protocol Commerce fills this gap.**\n\nRead the full [Technical Manifesto →](manifesto/README.md)\n\n## Key Principles\n\n1. **Open by Default** — MIT-licensed, auditable, forkable\n2. **Publisher Parity** — Publishers are first-class protocol participants\n3. **Privacy Native** — Context signals, not user profiles\n4. **Transparent Scoring** — Public formula: `score = 0.4×bid + 0.4×relevance + 0.2×quality`\n\n[All 7 principles →](manifesto/PRINCIPLES.md)\n\n## Reference Implementation: Nexbid\n\n[Nexbid](https://nexbid.dev) is the production-grade reference implementation of Protocol Commerce, built by [digital opua GmbH](https://nexbid.dev) (CHE-435.289.702, Switzerland).\n\n| Metric | Status |\n|--------|--------|\n| **MCP Integration** | Native — full commerce lifecycle |\n| **Formal Verification** | Lean 4 — core security properties proven |\n| **Privacy** | Cookie-free, Swiss-hosted, nDSG + GDPR compliant |\n| **AI Scoring** | Multi-provider, model-agnostic |\n| **Phase** | Production-grade closed beta |\n\n### Connect Any LLM\n\n```json\n{\n  \"mcpServers\": {\n    \"nexbid\": {\n      \"url\": \"https://mcp.nexbid.dev/mcp\",\n      \"transport\": \"streamable-http\"\n    }\n  }\n}\n```\n\nAny MCP-compatible LLM (Claude, GPT-4, Gemini) can directly search, browse, and purchase products through the Nexbid marketplace.\n\n### Why Formal Verification?\n\nNexbid is the only commerce platform whose core security properties are mathematically proven in [Lean 4](https://lean-lang.org/) — not just tested, but proven correct for all possible inputs.\n\n→ [Technology details](https://nexbid.dev/technology) · [How Nexbid compares](https://nexbid.dev/compare)\n\n## Sponsors\n\n| Sponsor | Role |\n|---------|------|\n| [Nexbid](https://nexbid.dev) | Initiator, reference implementation, initial maintainer |\n\n## License\n\nMIT — Use it, fork it, build on it. No strings attached.\n\n## Links\n\n- [AdCP Specification](adcp-spec/)\n- [Protocol Landscape (ACP vs UCP vs AdCP)](manifesto/LANDSCAPE.md)\n- [Nexbid — Reference Implementation](https://nexbid.dev)\n- [Nexbid Technology & Facts](https://nexbid.dev/technology)\n- [Nexbid vs. Traditional Ad Servers](https://nexbid.dev/compare)\n- [MCP Documentation](https://nexbid.dev/docs/mcp)\n- [Formal Verification](https://nexbid.dev/docs/verification)\n- [Protocol Commerce Manifesto (DE)](https://digital-opua.ch/blog/protocol-commerce--warum-commerce-offene-protokolle-braucht)\n",
  "bytes": 4336,
  "sha": "e2ca0648c9cf87fe0ca5921122f058d116a42611d38a5a51a596b46e83bb2c65",
  "repo_slug": "nexbid-dev/protocol-commerce",
  "fonte": "repo",
  "truncated": false,
  "api": "https://agentalog.com/api/listings/mcp_dev_nexbid_discovery_7d195c9b/readme"
}