@type call_tool_result() :: %{
  optional(:content) => [ExMCP.Types.content()],
  optional(:structuredOutput) => any(),
  optional(:resourceLinks) => [resource_link()],
  optional(:isError) => boolean(),
  optional(:_meta) => meta()
}

@type client_capabilities() :: %{
  optional(:experimental) => %{required(String.t()) => any()},
  optional(:sampling) => %{required(String.t()) => any()},
  optional(:roots) => %{optional(:listChanged) => boolean()},
  optional(:elicitation) => %{},
  optional(:_meta) => meta()
}

@type completion_request() :: %{
  :ref => String.t(),
  :argument => %{name: String.t(), value: String.t()},
  optional(:context) => %{required(String.t()) => any()},
  optional(:_meta) => meta()
}

@type cursor() :: ExMCP.Types.cursor()

@type elicit_request() :: %{
  :message => String.t(),
  :requestedSchema => %{
    :type => String.t(),
    :properties => %{required(String.t()) => primitive_schema()},
    optional(:required) => [String.t()]
  },
  optional(:_meta) => meta()
}

@type elicit_result() :: %{
  :action => String.t(),
  optional(:content) => %{required(String.t()) => any()},
  optional(:_meta) => meta()
}

@type json_schema() :: map()

@type json_value() :: any()

@type log_level() :: ExMCP.Types.log_level()

@type meta() :: %{optional(String.t()) => any()}

@type primitive_schema() :: %{
  :type => String.t(),
  optional(:title) => String.t(),
  optional(:description) => String.t(),
  optional(:enum) => [String.t()],
  optional(:enumNames) => [String.t()],
  optional(:default) => any(),
  optional(:minLength) => integer(),
  optional(:maxLength) => integer(),
  optional(:minimum) => number(),
  optional(:maximum) => number(),
  optional(:format) => String.t()
}

@type progress_token() :: ExMCP.Types.progress_token()

@type prompt() :: %{
  :name => String.t(),
  optional(:title) => String.t(),
  optional(:description) => String.t(),
  optional(:arguments) => [ExMCP.Types.prompt_argument()],
  optional(:annotations) => ExMCP.Types.annotations(),
  optional(:_meta) => meta()
}

@type protected_resource_metadata() :: %{
  :authorization_server => String.t(),
  :resource => String.t(),
  optional(:scopes) => [String.t()],
  optional(:_meta) => meta()
}

@type request_id() :: ExMCP.Types.request_id()

@type resource() :: %{
  :uri => String.t(),
  optional(:title) => String.t(),
  optional(:name) => String.t(),
  optional(:description) => String.t(),
  optional(:mimeType) => String.t(),
  optional(:annotations) => ExMCP.Types.annotations(),
  optional(:_meta) => meta()
}

@type resource_link() :: %{
  :uri => String.t(),
  optional(:title) => String.t(),
  optional(:mimeType) => String.t(),
  optional(:_meta) => meta()
}

@type server_capabilities() :: %{
  optional(:experimental) => %{required(String.t()) => any()},
  optional(:prompts) => %{optional(:listChanged) => boolean()},
  optional(:resources) => %{
    optional(:subscribe) => boolean(),
    optional(:listChanged) => boolean()
  },
  optional(:tools) => %{optional(:listChanged) => boolean()},
  optional(:logging) => %{optional(:setLevel) => boolean()},
  optional(:completions) => %{},
  optional(:_meta) => meta()
}

@type tool() :: %{
  :name => String.t(),
  optional(:title) => String.t(),
  optional(:description) => String.t(),
  :inputSchema => json_schema(),
  optional(:outputSchema) => json_schema(),
  optional(:annotations) => tool_annotations(),
  optional(:_meta) => meta()
}

@type tool_annotations() :: %{
  optional(:readOnlyHint) => boolean(),
  optional(:destructiveHint) => boolean(),
  optional(:idempotentHint) => boolean(),
  optional(:openWorldHint) => boolean()
}