Tool tree

nexbid.dev

CommerceTools verifiedOct 26, 2026

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.

page: `Every page`

searchOffersAnswer

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.

View tool JSON

{
  "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"
    ]
  },
  "page": "/"
}

getOfferDetailsAnswer

Get full details of a specific product offer by ID. Returns price, availability, description, brand, category, and purchase link.

View tool JSON

{
  "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"
    ]
  },
  "page": "/"
}

listCategoriesAnswer

List all available product categories in the Nexbid marketplace with product counts. Optionally filter by country code.

View tool JSON

{
  "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"
      }
    }
  },
  "page": "/"
}

initiateTransactionAction

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.

View tool JSON

{
  "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"
    ]
  },
  "page": "/"
}

getOrderStatusAnswer

Check the status of a previously initiated purchase transaction. Requires the intent_id returned by initiateTransaction.

View tool JSON

{
  "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"
    ]
  },
  "page": "/"
}

page: Every page

page: `Every page`