{"ok":true,"site":{"host":"nexbid.dev","url":"https://nexbid.dev/","type":"live","desc":"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.","tools":[{"name":"searchOffers","kind":"answer","impl":"imperative","description":"Search for available product offers in the Nexbid marketplace. Accepts a product query, optional budget range in cents, geo filter (ISO country code), category, brand, and intent. Returns a ranked list of offers with price, availability, and ID.","inputSchema":{"type":"object","properties":{"query":{"type":"string","description":"Natural language product query"},"geo":{"type":"string","description":"ISO 3166-1 alpha-2 country code (default: CH)"},"category":{"type":"string","description":"Filter by product category"},"brand":{"type":"string","description":"Filter by brand name"},"budget_min_cents":{"type":"number","description":"Minimum budget in cents","minimum":0},"budget_max_cents":{"type":"number","description":"Maximum budget in cents","minimum":1},"limit":{"type":"number","description":"Max results (1-50, default: 10)","minimum":1,"maximum":50},"intent":{"type":"string","description":"User intent","enum":["purchase","compare","research","browse"]}},"required":["query"]},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute","page":"/","pages":["/","/agents","/technology","/whitepaper","/protocol","/docs/mcp"]},{"name":"getOfferDetails","kind":"answer","impl":"imperative","description":"Get full details of a specific product offer by ID. Returns price, availability, description, brand, category, and purchase link.","inputSchema":{"type":"object","properties":{"offer_id":{"type":"string","description":"Product UUID from searchOffers"}},"required":["offer_id"]},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute","page":"/","pages":["/","/agents","/technology","/whitepaper","/protocol","/docs/mcp"]},{"name":"listCategories","kind":"answer","impl":"imperative","description":"List all available product categories in the Nexbid marketplace with product counts. Optionally filter by country code.","inputSchema":{"type":"object","properties":{"geo":{"type":"string","description":"ISO 3166-1 alpha-2 country code to filter categories"}}},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute","page":"/","pages":["/","/agents","/technology","/whitepaper","/protocol","/docs/mcp"]},{"name":"initiateTransaction","kind":"act","impl":"imperative","description":"Start a purchase transaction for a selected product offer. Returns a checkout URL that the user can click to complete the purchase at the retailer. Requires user confirmation before proceeding.","inputSchema":{"type":"object","properties":{"offer_id":{"type":"string","description":"Product UUID to purchase"},"quantity":{"type":"number","description":"Quantity to purchase (default: 1)","minimum":1,"maximum":99,"default":1}},"required":["offer_id"]},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute","page":"/","pages":["/","/agents","/technology","/whitepaper","/protocol","/docs/mcp"]},{"name":"getOrderStatus","kind":"answer","impl":"imperative","description":"Check the status of a previously initiated purchase transaction. Requires the intent_id returned by initiateTransaction.","inputSchema":{"type":"object","properties":{"intent_id":{"type":"string","description":"Purchase intent UUID from initiateTransaction"}},"required":["intent_id"]},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute","page":"/","pages":["/","/agents","/technology","/whitepaper","/protocol","/docs/mcp"]}],"category":"Commerce","favicon":"/favicons/nexbid.dev.png","apiSurface":"spec","toolCount":5}}