mcp

type CapabilitiesExpr struct {
	eval.Expression

	// EnableTools indicates whether the server exposes tool
	// invocation.
	EnableTools bool
	// EnableResources indicates whether the server exposes resource
	// access.
	EnableResources bool
	// EnablePrompts indicates whether the server exposes prompt
	// templates.
	EnablePrompts bool
	// EnableLogging indicates whether the server supports logging.
	EnableLogging bool
	// EnableProgress indicates whether the server supports progress
	// notifications.
	EnableProgress bool
	// EnableCancellation indicates whether the server supports
	// request cancellation.
	EnableCancellation bool
	// EnableNotifications indicates whether the server can send
	// notifications.
	EnableNotifications bool
	// EnableCompletion indicates whether the server supports
	// completion suggestions.
	EnableCompletion bool
	// EnablePagination indicates whether the server supports
	// paginated responses.
	EnablePagination bool
	// EnableSubscriptions indicates whether the server supports
	// resource subscriptions.
	EnableSubscriptions bool
}

type DynamicPromptExpr struct {
	eval.Expression

	// Name is the unique identifier for this dynamic prompt.
	Name string
	// Description provides a human-readable explanation of the prompt's
	// purpose.
	Description string
	// Method is the Goa service method that generates this prompt.
	Method *expr.MethodExpr
}

type MCPExpr struct {
	eval.Expression

	// Name is the MCP server name as advertised to MCP clients.
	Name string
	// Version is the server implementation version.
	Version string
	// Description provides a human-readable explanation of the
	// server's purpose.
	Description string
	// ProtocolVersion is the MCP protocol version this server
	// implements.
	ProtocolVersion string
	// Transport is the transport mechanism (e.g., "jsonrpc",
	// "sse").
	Transport string
	// Capabilities defines which MCP capabilities this server
	// supports.
	Capabilities *CapabilitiesExpr
	// Tools is the collection of tool expressions exposed by this
	// server.
	Tools []*ToolExpr
	// Resources is the collection of resource expressions exposed
	// by this server.
	Resources []*ResourceExpr
	// Prompts is the collection of static prompt expressions
	// exposed by this server.
	Prompts []*PromptExpr
	// Notifications is the collection of notification expressions
	// this server can send.
	Notifications []*NotificationExpr
	// Subscriptions is the collection of resource subscription
	// expressions this server supports.
	Subscriptions []*SubscriptionExpr
	// SubscriptionMonitors is the collection of subscription
	// monitor expressions for SSE.
	SubscriptionMonitors []*SubscriptionMonitorExpr
	// Service is the Goa service expression this MCP server is
	// bound to.
	Service *expr.ServiceExpr
}

type MessageExpr struct {
	eval.Expression

	// Role is the message sender role (e.g., "user", "assistant").
	Role string
	// Content is the message text content or template.
	Content string
}

type NotificationExpr struct {
	eval.Expression

	// Name is the unique identifier for this notification type.
	Name string
	// Description provides a human-readable explanation of the
	// notification.
	Description string
	// Method is the Goa service method that sends this notification.
	Method *expr.MethodExpr
}

type PromptExpr struct {
	eval.Expression

	// Name is the unique identifier for this prompt.
	Name string
	// Description provides a human-readable explanation of the
	// prompt's purpose.
	Description string
	// Arguments defines the parameter schema for this prompt
	// template.
	Arguments *expr.AttributeExpr
	// Messages is the collection of message templates in this
	// prompt.
	Messages []*MessageExpr
}

type ResourceExpr struct {
	eval.Expression

	// Name is the unique identifier for this resource.
	Name string
	// Description provides a human-readable explanation of the
	// resource.
	Description string
	// URI is the resource identifier used for access.
	URI string
	// MimeType is the MIME type of the resource content.
	MimeType string
	// Method is the Goa service method that provides this resource.
	Method *expr.MethodExpr
	// Watchable indicates whether this resource supports change
	// notifications.
	Watchable bool
}

type RootExpr struct {
	// MCPServers maps service names to their MCP server configurations.
	MCPServers map[string]*MCPExpr
	// DynamicPrompts maps service names to their dynamic prompt
	// expressions.
	DynamicPrompts map[string][]*DynamicPromptExpr
}

type SubscriptionExpr struct {
	eval.Expression

	// ResourceName is the name of the resource being subscribed to.
	ResourceName string
	// Method is the Goa service method that handles this subscription.
	Method *expr.MethodExpr
}

type SubscriptionMonitorExpr struct {
	eval.Expression

	// Name is the unique identifier for this monitor.
	Name string
	// Method is the Goa service method that implements the monitor.
	Method *expr.MethodExpr
}

type ToolExpr struct {
	eval.Expression

	// Name is the unique identifier for this tool.
	Name string
	// Description provides a human-readable explanation of what the
	// tool does.
	Description string
	// Method is the Goa service method that implements this tool.
	Method *expr.MethodExpr
	// InputSchema defines the parameter schema for this tool.
	InputSchema *expr.AttributeExpr
}