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
	// Icons is the optional icon metadata exposed for this prompt.
	Icons []*IconExpr
}

type IconExpr struct {
	eval.Expression

	// Source is the icon URI or data URI.
	Source string
	// MIMEType is the optional icon content type.
	MIMEType string
	// Sizes lists supported icon sizes.
	Sizes []string
	// Theme is the optional theme preference for the icon.
	Theme string
}

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
	// WebsiteURL is the optional documentation or home page URL for the
	// server implementation.
	WebsiteURL string
	// Icons is the optional icon metadata exposed for the server
	// implementation.
	Icons []*IconExpr
	// 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
	// SkillDirectories are filesystem roots scanned for agent skills
	// and exposed as skill:// MCP resources.
	SkillDirectories []*SkillDirectoryExpr
	// 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
	// OAuth is the optional OAuth 2.0 protected-resource configuration
	// that drives Protected Resource Metadata emission and the
	// WWW-Authenticate challenge. When nil, the server does not
	// advertise OAuth discovery.
	OAuth *OAuthExpr
	// ToolSearch is the optional design-time default policy for generated
	// progressive tool discovery.
	ToolSearch *ToolSearchExpr
	// 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 OAuthExpr struct {
	// AuthorizationServers lists the OAuth 2.0 authorization servers
	// that can issue tokens for this resource. Required; at least
	// one entry.
	AuthorizationServers []string
	// Scopes documents the scopes the resource defines.
	Scopes []*ScopeExpr
	// ResourceIdentifier is the optional canonical audience URI
	// emitted as the "resource" field in PRM JSON. When empty, the
	// generated handler derives it from the incoming request.
	ResourceIdentifier string
	// BearerMethodsSupported enumerates the ways a client may
	// present a bearer token. Defaults to ["header"] at generation
	// time when empty.
	BearerMethodsSupported []string
	// ResourceDocumentationURL surfaces as resource_documentation
	// in the PRM document.
	ResourceDocumentationURL string
	// TrustProxyHeaders determines whether the generated server
	// consumes X-Forwarded-Proto / X-Forwarded-Host / Forwarded
	// headers when deriving the canonical resource URL or the
	// challenge origin. Default is false: forwarded headers are
	// ignored entirely, and origin is derived from r.Host + r.TLS.
	// Enable this only when the server sits behind a proxy the
	// operator fully controls and trusts — otherwise an attacker
	// with direct access can poison the PRM `resource` field.
	TrustProxyHeaders bool
}

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
	// Runtime optionally declares that this MCP prompt should also be
	// registered as a runtime prompt spec.
	Runtime *RuntimePromptExpr
	// Icons is the optional icon metadata exposed for this prompt.
	Icons []*IconExpr
}

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
	// Icons is the optional icon metadata exposed for this resource.
	Icons []*IconExpr
}

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
	// contains filtered or unexported fields
}

type RuntimePromptExpr struct {
	eval.Expression

	// AgentID identifies the owning runtime agent.
	AgentID string
	// Role identifies how the prompt is used at runtime.
	Role string
	// Version identifies the baseline runtime prompt version.
	Version string
}

type ScopeExpr struct {
	// Name is the scope token value.
	Name string
	// Description is the human-readable summary surfaced in PRM
	// JSON and in the WWW-Authenticate challenge.
	Description string
}

type SkillDirectoryExpr struct {
	eval.Expression

	// Root is the filesystem directory containing skill subdirectories.
	Root string
}

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
	// Title is the optional human-readable display name for this tool.
	Title string
	// DiscoveryCategory is the optional category used by generated
	// progressive discovery search metadata.
	DiscoveryCategory string
	// DiscoveryTags are optional labels used by generated
	// progressive discovery search metadata.
	DiscoveryTags []string
	// DiscoveryKeywords are optional extra search terms used by
	// generated progressive discovery search metadata.
	DiscoveryKeywords []string
	// DiscoveryCallTemplateArgs are optional exemplar arguments included in
	// progressive discovery call_tool templates without changing validation.
	DiscoveryCallTemplateArgs map[string]any
	// Method is the Goa service method that implements this tool.
	Method *expr.MethodExpr
	// InputSchema defines the parameter schema for this tool.
	InputSchema *expr.AttributeExpr
	// Icons is the optional icon metadata exposed for this tool.
	Icons []*IconExpr
	// ExposedSurfaces records projection option use on method-level tools.
	ExposedSurfaces []string
	// MCPPlacementService records invalid placement use on method-level tools.
	MCPPlacementService string
	// MCPPlacementServer records invalid placement use on method-level tools.
	MCPPlacementServer string
}

type ToolSearchExpr struct {
	eval.Expression

	// DefaultMaxResults caps search results when runtime options and
	// request payloads do not set a positive max.
	DefaultMaxResults int
	// MinScore suppresses matches below this generated ranking score.
	MinScore int
	// ExactMatchMode controls what happens when a query exactly matches a
	// tool name or title.
	ExactMatchMode string
	// FuzzyNameMatching enables fuzzy ranking against tool names and titles.
	FuzzyNameMatching *bool
	// BroadFallback allows weaker metadata, description, parameter, and
	// schema matches when no strong name/title match exists.
	BroadFallback *bool
	// Weights customizes field weighting for generated ranking.
	Weights ToolSearchWeightsExpr
}

type ToolSearchWeightsExpr struct {
	Name        *int
	Title       *int
	Metadata    *int
	Description *int
	Parameters  *int
	FuzzyName   *int
}