object

mcp_server_2025_11_25_spec

MCP 2025-11-25 protocol handler. Extends the 2025-06-18 handler with version 2025-11-25 negotiation (still accepting 2025-06-18), optional serverInfo.description, icons metadata on tools/prompts/resources (SEP-973), and URL-mode elicitation (SEP-1036). EnumSchema / ElicitResult enrichments (SEP-1330) are pass-through via application-supplied schemas. Does not implement sampling tool calling, experimental Tasks, or OAuth/OIDC.

Availability:

logtalk_load(mcp_server(loader))

Author: Paulo Moura

Version: 1:0:0

Date: 2026-08-31

Compilation flags:

static, context_switching_calls

Extends:

public mcp_server_2025_06_18_spec

Uses:

json_rpc

Remarks:

(none)

Inherited public predicates:

 check_option/1  check_options/1  cleanup/0  current_options/1  default_option/1  default_options/1  elicit_request/5  handle_message/3  notify/1  option/2  option/3  prepare/2  spec/1  supported_specs/1  tool_descriptors_to_json/3  valid_option/1  valid_options/1

Public predicates

elicit_url_request/5

Sends a URL-mode elicitation/create request (SEP-1036) and reads the client response. Answer is accept(Content), decline, or cancel.

Compilation flags:

static

Template:

elicit_url_request(Input,Output,Message,URL,Answer)

Mode and number of proofs:

elicit_url_request(+stream,+stream,+atom,+atom,--compound) - one

---

Protected predicates

(no local declarations; see entity ancestors if any)

Private predicates

(no local declarations; see entity ancestors if any)

Operators

(none)