README
U
Annotations
U
CacheScope
U
CallToolResult
U
CancellationToken
U
ClientCapabilities
U
CompleteRequestParams
U
CompletionArgument
U
CompletionContext
U
CompletionReference
U
CompletionRegistry
U
CompletionResult
U
ContentBlock
U
ContentMetadata
U
CreateMessageRequest
U
CreateMessageResult
U
DiscoverResult
U
ElicitationAction
U
ElicitationCapabilities
U
ElicitationRequest
U
ElicitationResult
U
ElicitationValue
U
GetPromptResult
U
Icon
U
IconTheme
U
InputRequestEntry
U
InputRequestKind
U
JsonInteger
U
JsonNumber
U
JsonRpcRequest
U
JsonSchema
U
ListPromptsResult
U
ListResourcesResult
U
ListToolsResult
U
MCPClient
U
MCPError
U
MCPHost
U
MCPServer
U
ModelHint
U
ModelPreferences
U
ParamDef
U
Params
U
Principal
U
ProgressNotification
U
ProgressReporter
U
ProgressToken
U
PromptArgument
U
PromptCapabilities
U
PromptDefinition
U
PromptMessage
U
ReadResourceResult
U
RequestCancelled
U
RequestContext
U
RequestId
U
ResourceCapabilities
U
ResourceContents
U
ResourceData
U
ResourceDefinition
U
ResourceLinkData
U
ResourceReadResult
U
ResourceTemplateDefinition
U
ResultMetadata
U
Role
U
RootCapabilities
U
SamplingCapabilities
U
SamplingContent
U
SamplingContentBlock
U
SamplingContext
U
SamplingMessage
U
ServerCapabilities
U
ServerInfo
U
Tool
U
ToolAnnotations
U
ToolCallOutcome
U
ToolCapabilities
U
ToolChoice
U
ToolChoiceMode
U
ToolDefinition
U
ToolError
U
ToolResult
U
ToolResultContent
U
ToolUseContent
U
TransportError
V
get_number
V
get_optional_number
V
get_optional_string
V
get_string
V
parse_json
V
simple_tool
V
tool_fn

mcp

Type-safe MCP SDK in MoonBit with server/client support and dual transport (STDIO/HTTP)

mcp

modelcontextprotocol

Download zip

Author

colmugx

Version

0.18.0

License

Apache-2.0

Repository

github.com/colmugx/mcp.mbt

Last updated

11 days ago

Downloads

#MoonBit MCP SDK

Type-safe Model Context Protocol SDK for MoonBit.

Version: 0.17.5 · Protocol: 2026-07-28 (stateless) · License: Apache-2.0

#Protocol support and scope

The SDK targets MCP 2026-07-28 with stateless per-request metadata and MRTR. This branch includes complete content/tool/resource/prompt wire models, completion, sampling and form/URL elicitation models, trusted request context, cooperative cancellation, cache metadata preservation, and registry-aware HTTP header validation. Registering features controls the capabilities advertised by discovery; an empty registry must be enabled explicitly.

Tool input/output validation now compiles schemas once at registration and rejects invalid arguments before executing handlers. Successful structured output is validated when an output schema is declared. Closed objects, precise numeric constraints and local $ref/$defs are supported.

Elicitation forms are validated before interaction and accepted content is checked against an owned schema snapshot. The server independently verifies MRTR response keys, result types, and form constraints from authenticated continuation state; the client bounds retries without a final unconsumable interaction.

JSON-RPC ids and peer error codes now retain exact integer literals beyond Int32 and binary64. String ids, large numeric ids, duplicate checks, subscriptions and cancellation share consistent routing without truncation.

Conformance work is still in progress: the validator has an explicit partial 2020-12 profile; arbitrary remote/dynamic/unevaluated schemas, remaining typed-value precision and normative edge cases remain open. See the conformance evidence and migration notes before relying on a complete-protocol guarantee.

Bearer tokens, server-side authentication hooks, and protected-resource metadata are supported. OAuth authorization client lifecycle, PKCE, dynamic client registration, and token refresh management are not included.

#Installation

moon add colmugx/mcp

For this development revision, use the workspace and its independent external/json-schema submodule. The validator dependency must be published and a standalone build verified before releasing this SDK revision; the existing published SDK is not evidence that these workspace changes are already available through the registry.

#Quick Start

#Server

async fn main {
  @mcp.MCPServer::MCPServer("demo-server", "1.0.0")
    .tool("echo", "Echo text", Json::object({ "type": "object" }), fn(_context, args) {
      let text = match args {
        Object(obj) =>
          match obj.get("text") {
            Some(String(value)) => value
            _ => ""
          }
        _ => ""
      }
      Ok(@mcp.ToolResult::text(text))
    })
    .run_stdio()
}

Use .run_http(port=4240, path="/mcp") for Streamable HTTP.

#Client

async fn main {
  match @mcp.MCPClient::connect_http(
    url="http://localhost:4240/mcp",
    name="demo-client",
    version="1.0.0",
  ) {
    Ok(client) => {
      // Optional one-shot discovery of server identity/capabilities.
      ignore(client.discover())
      match client.list_tools() {
        Ok(result) => for tool in result.tools { println(tool.name) }
        Err(e) => println(e.message())
      }
      client.close()
    }
    Err(e) => println("connect failed: \{e.message()}")
  }
}

For local subprocess servers, use MCPClient::connect_stdio(cmd~, args?, name~, version~, extra_env?, group~).

#Host

async fn main {
  let host = @mcp.MCPHost::MCPHost(name="my-host", version="1.0.0")
  @async.with_task_group(group => {
    ignore(host.connect_stdio(name="local", cmd="moon", args=["run", "server"], group~))
    ignore(host.connect_http(name="remote", url="http://localhost:4240/mcp"))
    match host.list_tools() {
      Ok(result) => for tool in result.tools { println(tool.name) } // local.echo
      Err(e) => println(e.message())
    }
    ignore(host.call_tool("local.echo", arguments="{\"text\":\"hello\"}"))
    host.close_all()
  })
}

Host tool names are qualified as connection.tool so multiple servers can expose the same tool name without collision.

#Documentation

Document	Description
Quickstart	Server, client, and host setup
Protocol Types	JSON-RPC, errors, and MCP types
Server Guide	High-level server API and runtime behavior
Transport Reference	Advanced transport internals
Client Guide	Connections, MRTR input handlers, notifications, and legacy compatibility
Architecture	Protocol, runtime, transport, application layers
Host Guide	MCPHost named connections and routing
Migration 0.15	2025-11-25 → 2026-07-28 migration, node by node
Migration 0.14	Breaking changes from 0.13.x

#API Direction

The default public path is intentionally small:

MCPServer for serving tools, resources, and prompts.
MCPClient for one server connection.
MCPHost for multiple named server connections.
colmugx/mcp/client/legacy for talking to 2025-11-25-era servers (LegacyClient).

Transports and request builders are advanced/internal details. Existing low-level imports may still be useful for SDK contributors, but application code should prefer the high-level APIs above.

#License

Apache-2.0

mcp

#MoonBit MCP SDK

#Protocol support and scope

#Installation

#Quick Start

#Server

#Client

#Host

#Documentation

#API Direction

#License

#Annotations

#CacheScope

#CallToolResult

#CancellationToken

#ClientCapabilities

#CompleteRequestParams

#CompletionArgument

#CompletionContext

#CompletionReference

#CompletionRegistry

#CompletionResult

#ContentBlock

#ContentMetadata

#CreateMessageRequest

#CreateMessageResult

#DiscoverResult

#ElicitationAction

#ElicitationCapabilities

#ElicitationRequest

#ElicitationResult

#ElicitationValue

#GetPromptResult

#Icon

#IconTheme

#InputRequestEntry

#InputRequestKind

#JsonInteger

#JsonNumber

#JsonRpcRequest

#JsonSchema

#ListPromptsResult

#ListResourcesResult

#ListToolsResult

#MCPClient

#MCPError

#MCPHost

#MCPServer

#ModelHint

#ModelPreferences

#ParamDef

#Params

#Principal

#ProgressNotification

#ProgressReporter

#ProgressToken

#PromptArgument

#PromptCapabilities

#PromptDefinition

#PromptMessage

#ReadResourceResult

#RequestCancelled

#RequestContext

#RequestId

#ResourceCapabilities

#ResourceContents

#ResourceData

#ResourceDefinition

#ResourceLinkData

#ResourceReadResult

#ResourceTemplateDefinition

#ResultMetadata

#Role

#RootCapabilities

#SamplingCapabilities

#SamplingContent

#SamplingContentBlock

#SamplingContext

#SamplingMessage

#ServerCapabilities

Annotations

CacheScope

CallToolResult

CancellationToken

ClientCapabilities

CompleteRequestParams

CompletionArgument

CompletionContext

CompletionReference

CompletionRegistry

CompletionResult

ContentBlock

ContentMetadata

CreateMessageRequest

CreateMessageResult

DiscoverResult

ElicitationAction

ElicitationCapabilities

ElicitationRequest

ElicitationResult

ElicitationValue

GetPromptResult

Icon

IconTheme

InputRequestEntry

InputRequestKind

JsonInteger

JsonNumber

JsonRpcRequest

JsonSchema

ListPromptsResult

ListResourcesResult

ListToolsResult

MCPClient

MCPError

MCPHost

MCPServer

ModelHint

ModelPreferences

ParamDef

Params

Principal

ProgressNotification

ProgressReporter

ProgressToken

PromptArgument

PromptCapabilities

PromptDefinition

PromptMessage

ReadResourceResult

RequestCancelled

RequestContext

RequestId

ResourceCapabilities

ResourceContents

ResourceData

ResourceDefinition

ResourceLinkData

ResourceReadResult

ResourceTemplateDefinition

ResultMetadata

Role

RootCapabilities

SamplingCapabilities

SamplingContent

SamplingContentBlock

SamplingContext

SamplingMessage

ServerCapabilities

ServerInfo

Tool

ToolAnnotations

ToolCallOutcome

ToolCapabilities

ToolChoice

ToolChoiceMode

ToolDefinition

ToolError

ToolResult

ToolResultContent