← WebMCP Directory

Tool tree

vangentautoverhuur.nl

Travel & EventsTools verified
Website
Car rental company in Zwijndrecht, the Netherlands, operating since 1981 and offering flexible vehicle rental options.
Explore capabilities
    search_rental_vehiclesAnswer

    Find rental vehicles for a branch, period, customer type, and optional filters.

    View tool JSON
    {
      "name": "search_rental_vehicles",
      "kind": "answer",
      "impl": "imperative",
      "description": "Find rental vehicles for a branch, period, customer type, and optional filters.",
      "inputSchema": {
        "type": "object",
        "additionalProperties": false,
        "properties": {
          "pickupDateTime": {
            "type": "string",
            "format": "date-time",
            "description": "Pickup ISO date-time, with or without an offset."
          },
          "returnDateTime": {
            "type": "string",
            "format": "date-time",
            "description": "Return ISO date-time, with or without an offset."
          },
          "branch": {
            "type": "string",
            "enum": [
              "Zwijndrecht",
              "Etten-Leur"
            ],
            "description": "Human-readable pickup branch."
          },
          "customerType": {
            "type": "string",
            "enum": [
              "private",
              "business"
            ],
            "description": "Customer journey."
          },
          "vehicleType": {
            "type": "string",
            "description": "Optional human-readable vehicle category."
          },
          "seats": {
            "type": "integer",
            "minimum": 1,
            "maximum": 9,
            "description": "Optional minimum number of seats."
          },
          "expectedKilometers": {
            "type": "integer",
            "minimum": 0,
            "description": "Optional expected rental distance in kilometers."
          }
        },
        "required": [
          "pickupDateTime",
          "returnDateTime",
          "branch",
          "customerType"
        ]
      }
    }