discoveryv1.0.1remote
Search and discover advertiser products through an open marketplace for AI agents.
dev.nexbid/discoverysource
You set the limits, we provably cannot cross them — and what is paid for says so. Infrastructure for agentic commerce with formally verified decision logic: 62 public Lean 4 theorems.
Nexbid (nexbid.dev) publishes 1 MCP server on the Official MCP Registry, run remotely. That ranks it #916 of 16,990 companies by servers shipped, with its latest release on Mar 13, 2026.
Search and discover advertiser products through an open marketplace for AI agents.