@leaflow/sdk 0.185.0 → 0.187.0

package/dist/proto/leaflow/fleet/mcp/v1/mcp_pb.d.ts

@@ -0,0 +1,891 @@
+import type { GenEnum, GenFile, GenMessage, GenService } from "@bufbuild/protobuf/codegenv2";
+import type { Message } from "@bufbuild/protobuf";
+/**
+ * Describes the file leaflow/fleet/mcp/v1/mcp.proto.
+ */
+export declare const file_leaflow_fleet_mcp_v1_mcp: GenFile;
+/**
+ * The account a request acts as, as in leaflow.fleet.command.v1.
+ *
+ * @generated from message leaflow.fleet.mcp.v1.McpAccount
+ */
+export type McpAccount = Message<"leaflow.fleet.mcp.v1.McpAccount"> & {
+    /**
+     * The platform user who asked.
+     *
+     * @generated from field: string user_id = 1;
+     */
+    userId: string;
+    /**
+     * The user's directory account (leaflow.fleet.directory.v1 Account), whose
+     * user_id is the one above.
+     *
+     * @generated from field: string username = 2;
+     */
+    username: string;
+};
+/**
+ * Describes the message leaflow.fleet.mcp.v1.McpAccount.
+ * Use `create(McpAccountSchema)` to create a new message.
+ */
+export declare const McpAccountSchema: GenMessage<McpAccount>;
+/**
+ * The request of ListMcpServers.
+ *
+ * @generated from message leaflow.fleet.mcp.v1.ListMcpServersRequest
+ */
+export type ListMcpServersRequest = Message<"leaflow.fleet.mcp.v1.ListMcpServersRequest"> & {
+    /**
+     * @generated from field: leaflow.fleet.mcp.v1.McpAccount account = 1;
+     */
+    account?: McpAccount | undefined;
+};
+/**
+ * Describes the message leaflow.fleet.mcp.v1.ListMcpServersRequest.
+ * Use `create(ListMcpServersRequestSchema)` to create a new message.
+ */
+export declare const ListMcpServersRequestSchema: GenMessage<ListMcpServersRequest>;
+/**
+ * The response of ListMcpServers.
+ *
+ * @generated from message leaflow.fleet.mcp.v1.ListMcpServersResponse
+ */
+export type ListMcpServersResponse = Message<"leaflow.fleet.mcp.v1.ListMcpServersResponse"> & {
+    /**
+     * @generated from field: leaflow.fleet.mcp.v1.McpConfigurationFile file = 1;
+     */
+    file?: McpConfigurationFile | undefined;
+    /**
+     * The servers of the configuration the Agent serves, by name.
+     *
+     * @generated from field: repeated leaflow.fleet.mcp.v1.McpServer servers = 2;
+     */
+    servers: McpServer[];
+};
+/**
+ * Describes the message leaflow.fleet.mcp.v1.ListMcpServersResponse.
+ * Use `create(ListMcpServersResponseSchema)` to create a new message.
+ */
+export declare const ListMcpServersResponseSchema: GenMessage<ListMcpServersResponse>;
+/**
+ * The account's configuration file.
+ *
+ * @generated from message leaflow.fleet.mcp.v1.McpConfigurationFile
+ */
+export type McpConfigurationFile = Message<"leaflow.fleet.mcp.v1.McpConfigurationFile"> & {
+    /**
+     * @generated from field: leaflow.fleet.mcp.v1.McpConfigurationState state = 1;
+     */
+    state: McpConfigurationState;
+    /**
+     * SHA-256 of the file's bytes in lower-case hex; empty while it is
+     * MISSING. Editing requests carry it to detect edits made in between.
+     *
+     * @generated from field: string revision = 2;
+     */
+    revision: string;
+    /**
+     * INVALID only: where the first error is, counted from 1.
+     *
+     * @generated from field: uint32 invalid_line = 3;
+     */
+    invalidLine: number;
+    /**
+     * @generated from field: uint32 invalid_column = 4;
+     */
+    invalidColumn: number;
+    /**
+     * The name, in the same directory, under which the Agent set aside a file
+     * that was not valid when it started to serve the account; empty when it
+     * did not.
+     *
+     * @generated from field: string set_aside = 5;
+     */
+    setAside: string;
+};
+/**
+ * Describes the message leaflow.fleet.mcp.v1.McpConfigurationFile.
+ * Use `create(McpConfigurationFileSchema)` to create a new message.
+ */
+export declare const McpConfigurationFileSchema: GenMessage<McpConfigurationFile>;
+/**
+ * A configured server, its secrets left out, and what it is doing now.
+ *
+ * @generated from message leaflow.fleet.mcp.v1.McpServer
+ */
+export type McpServer = Message<"leaflow.fleet.mcp.v1.McpServer"> & {
+    /**
+     * Its key in "mcpServers".
+     *
+     * @generated from field: string name = 1;
+     */
+    name: string;
+    /**
+     * @generated from field: leaflow.fleet.mcp.v1.McpServerDefinition definition = 2;
+     */
+    definition?: McpServerDefinition | undefined;
+    /**
+     * @generated from field: leaflow.fleet.mcp.v1.McpServerState state = 3;
+     */
+    state: McpServerState;
+    /**
+     * FAILED and INVALID only: why.
+     *
+     * @generated from field: leaflow.fleet.mcp.v1.McpServerFailure failure = 4;
+     */
+    failure: McpServerFailure;
+    /**
+     * RUNNING only: what it said of itself when it was initialized.
+     *
+     * @generated from field: leaflow.fleet.mcp.v1.McpImplementation implementation = 5;
+     */
+    implementation?: McpImplementation | undefined;
+    /**
+     * RUNNING only: how many tools it offers.
+     *
+     * @generated from field: uint32 tool_count = 6;
+     */
+    toolCount: number;
+};
+/**
+ * Describes the message leaflow.fleet.mcp.v1.McpServer.
+ * Use `create(McpServerSchema)` to create a new message.
+ */
+export declare const McpServerSchema: GenMessage<McpServer>;
+/**
+ * How to reach a server. In responses, env and headers hold the keys only,
+ * with empty values.
+ *
+ * @generated from message leaflow.fleet.mcp.v1.McpServerDefinition
+ */
+export type McpServerDefinition = Message<"leaflow.fleet.mcp.v1.McpServerDefinition"> & {
+    /**
+     * Unspecified in a request: STDIO with command, HTTP with url.
+     *
+     * @generated from field: leaflow.fleet.mcp.v1.McpTransport transport = 1;
+     */
+    transport: McpTransport;
+    /**
+     * STDIO only: the program, looked up in the account's PATH.
+     *
+     * @generated from field: string command = 2;
+     */
+    command: string;
+    /**
+     * STDIO only.
+     *
+     * @generated from field: repeated string args = 3;
+     */
+    args: string[];
+    /**
+     * STDIO only: variables added to the account's environment. Secret.
+     *
+     * @generated from field: map<string, string> env = 4;
+     */
+    env: {
+        [key: string]: string;
+    };
+    /**
+     * HTTP and SSE only: the endpoint.
+     *
+     * @generated from field: string url = 5;
+     */
+    url: string;
+    /**
+     * HTTP and SSE only: headers sent with every request. Secret.
+     *
+     * @generated from field: map<string, string> headers = 6;
+     */
+    headers: {
+        [key: string]: string;
+    };
+    /**
+     * Configured but kept stopped.
+     *
+     * @generated from field: bool disabled = 7;
+     */
+    disabled: boolean;
+};
+/**
+ * Describes the message leaflow.fleet.mcp.v1.McpServerDefinition.
+ * Use `create(McpServerDefinitionSchema)` to create a new message.
+ */
+export declare const McpServerDefinitionSchema: GenMessage<McpServerDefinition>;
+/**
+ * MCP Implementation: what a server says of itself.
+ *
+ * @generated from message leaflow.fleet.mcp.v1.McpImplementation
+ */
+export type McpImplementation = Message<"leaflow.fleet.mcp.v1.McpImplementation"> & {
+    /**
+     * @generated from field: string name = 1;
+     */
+    name: string;
+    /**
+     * @generated from field: string version = 2;
+     */
+    version: string;
+    /**
+     * @generated from field: string title = 3;
+     */
+    title: string;
+};
+/**
+ * Describes the message leaflow.fleet.mcp.v1.McpImplementation.
+ * Use `create(McpImplementationSchema)` to create a new message.
+ */
+export declare const McpImplementationSchema: GenMessage<McpImplementation>;
+/**
+ * The request of PutMcpServer.
+ *
+ * @generated from message leaflow.fleet.mcp.v1.PutMcpServerRequest
+ */
+export type PutMcpServerRequest = Message<"leaflow.fleet.mcp.v1.PutMcpServerRequest"> & {
+    /**
+     * @generated from field: leaflow.fleet.mcp.v1.McpAccount account = 1;
+     */
+    account?: McpAccount | undefined;
+    /**
+     * The server's key in "mcpServers", by the rule of Configuration; any other
+     * fails the call with INVALID_REQUEST.
+     *
+     * @generated from field: string name = 2;
+     */
+    name: string;
+    /**
+     * @generated from field: leaflow.fleet.mcp.v1.McpServerDefinition definition = 3;
+     */
+    definition?: McpServerDefinition | undefined;
+    /**
+     * Keys of the server's current env whose values stay as they are, when
+     * definition.env does not give them. The platform cannot read them back to
+     * send them again.
+     *
+     * @generated from field: repeated string keep_env = 4;
+     */
+    keepEnv: string[];
+    /**
+     * Keys of the server's current headers whose values stay, as keep_env.
+     *
+     * @generated from field: repeated string keep_headers = 5;
+     */
+    keepHeaders: string[];
+    /**
+     * McpConfigurationFile.revision as last read, empty only for a file that
+     * was MISSING.
+     *
+     * @generated from field: string expected_revision = 6;
+     */
+    expectedRevision: string;
+};
+/**
+ * Describes the message leaflow.fleet.mcp.v1.PutMcpServerRequest.
+ * Use `create(PutMcpServerRequestSchema)` to create a new message.
+ */
+export declare const PutMcpServerRequestSchema: GenMessage<PutMcpServerRequest>;
+/**
+ * The response of PutMcpServer.
+ *
+ * @generated from message leaflow.fleet.mcp.v1.PutMcpServerResponse
+ */
+export type PutMcpServerResponse = Message<"leaflow.fleet.mcp.v1.PutMcpServerResponse"> & {
+    /**
+     * @generated from field: leaflow.fleet.mcp.v1.McpConfigurationFile file = 1;
+     */
+    file?: McpConfigurationFile | undefined;
+    /**
+     * @generated from field: leaflow.fleet.mcp.v1.McpServer server = 2;
+     */
+    server?: McpServer | undefined;
+};
+/**
+ * Describes the message leaflow.fleet.mcp.v1.PutMcpServerResponse.
+ * Use `create(PutMcpServerResponseSchema)` to create a new message.
+ */
+export declare const PutMcpServerResponseSchema: GenMessage<PutMcpServerResponse>;
+/**
+ * The request of DeleteMcpServer.
+ *
+ * @generated from message leaflow.fleet.mcp.v1.DeleteMcpServerRequest
+ */
+export type DeleteMcpServerRequest = Message<"leaflow.fleet.mcp.v1.DeleteMcpServerRequest"> & {
+    /**
+     * @generated from field: leaflow.fleet.mcp.v1.McpAccount account = 1;
+     */
+    account?: McpAccount | undefined;
+    /**
+     * @generated from field: string name = 2;
+     */
+    name: string;
+    /**
+     * McpConfigurationFile.revision as last read, empty only for a file that
+     * was MISSING.
+     *
+     * @generated from field: string expected_revision = 3;
+     */
+    expectedRevision: string;
+};
+/**
+ * Describes the message leaflow.fleet.mcp.v1.DeleteMcpServerRequest.
+ * Use `create(DeleteMcpServerRequestSchema)` to create a new message.
+ */
+export declare const DeleteMcpServerRequestSchema: GenMessage<DeleteMcpServerRequest>;
+/**
+ * The response of DeleteMcpServer.
+ *
+ * @generated from message leaflow.fleet.mcp.v1.DeleteMcpServerResponse
+ */
+export type DeleteMcpServerResponse = Message<"leaflow.fleet.mcp.v1.DeleteMcpServerResponse"> & {
+    /**
+     * @generated from field: leaflow.fleet.mcp.v1.McpConfigurationFile file = 1;
+     */
+    file?: McpConfigurationFile | undefined;
+};
+/**
+ * Describes the message leaflow.fleet.mcp.v1.DeleteMcpServerResponse.
+ * Use `create(DeleteMcpServerResponseSchema)` to create a new message.
+ */
+export declare const DeleteMcpServerResponseSchema: GenMessage<DeleteMcpServerResponse>;
+/**
+ * The request of ReplaceMcpConfiguration.
+ *
+ * @generated from message leaflow.fleet.mcp.v1.ReplaceMcpConfigurationRequest
+ */
+export type ReplaceMcpConfigurationRequest = Message<"leaflow.fleet.mcp.v1.ReplaceMcpConfigurationRequest"> & {
+    /**
+     * @generated from field: leaflow.fleet.mcp.v1.McpAccount account = 1;
+     */
+    account?: McpAccount | undefined;
+    /**
+     * The new file, a JSON object with an object "mcpServers", at most 1 MiB.
+     *
+     * @generated from field: bytes content = 2;
+     */
+    content: Uint8Array;
+    /**
+     * McpConfigurationFile.revision as last read; empty replaces whatever is
+     * there, such as a file that cannot be read.
+     *
+     * @generated from field: string expected_revision = 3;
+     */
+    expectedRevision: string;
+};
+/**
+ * Describes the message leaflow.fleet.mcp.v1.ReplaceMcpConfigurationRequest.
+ * Use `create(ReplaceMcpConfigurationRequestSchema)` to create a new message.
+ */
+export declare const ReplaceMcpConfigurationRequestSchema: GenMessage<ReplaceMcpConfigurationRequest>;
+/**
+ * The response of ReplaceMcpConfiguration.
+ *
+ * @generated from message leaflow.fleet.mcp.v1.ReplaceMcpConfigurationResponse
+ */
+export type ReplaceMcpConfigurationResponse = Message<"leaflow.fleet.mcp.v1.ReplaceMcpConfigurationResponse"> & {
+    /**
+     * @generated from field: leaflow.fleet.mcp.v1.McpConfigurationFile file = 1;
+     */
+    file?: McpConfigurationFile | undefined;
+};
+/**
+ * Describes the message leaflow.fleet.mcp.v1.ReplaceMcpConfigurationResponse.
+ * Use `create(ReplaceMcpConfigurationResponseSchema)` to create a new message.
+ */
+export declare const ReplaceMcpConfigurationResponseSchema: GenMessage<ReplaceMcpConfigurationResponse>;
+/**
+ * The request of ListMcpTools.
+ *
+ * @generated from message leaflow.fleet.mcp.v1.ListMcpToolsRequest
+ */
+export type ListMcpToolsRequest = Message<"leaflow.fleet.mcp.v1.ListMcpToolsRequest"> & {
+    /**
+     * @generated from field: leaflow.fleet.mcp.v1.McpAccount account = 1;
+     */
+    account?: McpAccount | undefined;
+    /**
+     * Only this server's tools; empty for every server's.
+     *
+     * @generated from field: string server = 2;
+     */
+    server: string;
+    /**
+     * Words that each must occur in a tool's name, title or description,
+     * ignoring case; empty for every tool. At most 256 bytes.
+     *
+     * @generated from field: string query = 3;
+     */
+    query: string;
+    /**
+     * At most this many tools, 1 to 500; unset: 100.
+     *
+     * @generated from field: uint32 page_size = 4;
+     */
+    pageSize: number;
+    /**
+     * next_page_token of the previous page, to continue it.
+     *
+     * @generated from field: string page_token = 5;
+     */
+    pageToken: string;
+};
+/**
+ * Describes the message leaflow.fleet.mcp.v1.ListMcpToolsRequest.
+ * Use `create(ListMcpToolsRequestSchema)` to create a new message.
+ */
+export declare const ListMcpToolsRequestSchema: GenMessage<ListMcpToolsRequest>;
+/**
+ * The response of ListMcpTools.
+ *
+ * @generated from message leaflow.fleet.mcp.v1.ListMcpToolsResponse
+ */
+export type ListMcpToolsResponse = Message<"leaflow.fleet.mcp.v1.ListMcpToolsResponse"> & {
+    /**
+     * Ordered by server, then by tool name; fewer than page_size when more
+     * would make the response larger than 8 MiB.
+     *
+     * @generated from field: repeated leaflow.fleet.mcp.v1.McpTool tools = 1;
+     */
+    tools: McpTool[];
+    /**
+     * Empty on the last page.
+     *
+     * @generated from field: string next_page_token = 2;
+     */
+    nextPageToken: string;
+    /**
+     * Servers whose tools are missing because they could not be started or
+     * reached.
+     *
+     * @generated from field: repeated leaflow.fleet.mcp.v1.McpUnavailableServer unavailable_servers = 3;
+     */
+    unavailableServers: McpUnavailableServer[];
+};
+/**
+ * Describes the message leaflow.fleet.mcp.v1.ListMcpToolsResponse.
+ * Use `create(ListMcpToolsResponseSchema)` to create a new message.
+ */
+export declare const ListMcpToolsResponseSchema: GenMessage<ListMcpToolsResponse>;
+/**
+ * A tool of a server, as MCP tools/list gives it.
+ *
+ * @generated from message leaflow.fleet.mcp.v1.McpTool
+ */
+export type McpTool = Message<"leaflow.fleet.mcp.v1.McpTool"> & {
+    /**
+     * The server that offers it.
+     *
+     * @generated from field: string server = 1;
+     */
+    server: string;
+    /**
+     * @generated from field: string name = 2;
+     */
+    name: string;
+    /**
+     * @generated from field: string title = 3;
+     */
+    title: string;
+    /**
+     * @generated from field: string description = 4;
+     */
+    description: string;
+    /**
+     * The JSON Schema of its arguments, as JSON.
+     *
+     * @generated from field: bytes input_schema = 5;
+     */
+    inputSchema: Uint8Array;
+    /**
+     * The JSON Schema of its structured result, as JSON; empty when it has
+     * none.
+     *
+     * @generated from field: bytes output_schema = 6;
+     */
+    outputSchema: Uint8Array;
+    /**
+     * Its MCP ToolAnnotations, such as readOnlyHint, as JSON; empty when it has
+     * none. Hints of the server, not guarantees.
+     *
+     * @generated from field: bytes annotations = 7;
+     */
+    annotations: Uint8Array;
+};
+/**
+ * Describes the message leaflow.fleet.mcp.v1.McpTool.
+ * Use `create(McpToolSchema)` to create a new message.
+ */
+export declare const McpToolSchema: GenMessage<McpTool>;
+/**
+ * A server whose tools could not be listed.
+ *
+ * @generated from message leaflow.fleet.mcp.v1.McpUnavailableServer
+ */
+export type McpUnavailableServer = Message<"leaflow.fleet.mcp.v1.McpUnavailableServer"> & {
+    /**
+     * @generated from field: string name = 1;
+     */
+    name: string;
+    /**
+     * @generated from field: leaflow.fleet.mcp.v1.McpServerFailure failure = 2;
+     */
+    failure: McpServerFailure;
+};
+/**
+ * Describes the message leaflow.fleet.mcp.v1.McpUnavailableServer.
+ * Use `create(McpUnavailableServerSchema)` to create a new message.
+ */
+export declare const McpUnavailableServerSchema: GenMessage<McpUnavailableServer>;
+/**
+ * The request of SendMcpRequest.
+ *
+ * @generated from message leaflow.fleet.mcp.v1.SendMcpRequestRequest
+ */
+export type SendMcpRequestRequest = Message<"leaflow.fleet.mcp.v1.SendMcpRequestRequest"> & {
+    /**
+     * @generated from field: leaflow.fleet.mcp.v1.McpAccount account = 1;
+     */
+    account?: McpAccount | undefined;
+    /**
+     * @generated from field: string server = 2;
+     */
+    server: string;
+    /**
+     * One JSON-RPC 2.0 request of MCP, at most 4 MiB. The Agent sends it to
+     * the server under an id of its own.
+     *
+     * @generated from field: bytes request = 3;
+     */
+    request: Uint8Array;
+};
+/**
+ * Describes the message leaflow.fleet.mcp.v1.SendMcpRequestRequest.
+ * Use `create(SendMcpRequestRequestSchema)` to create a new message.
+ */
+export declare const SendMcpRequestRequestSchema: GenMessage<SendMcpRequestRequest>;
+/**
+ * The response of SendMcpRequest.
+ *
+ * @generated from message leaflow.fleet.mcp.v1.SendMcpRequestResponse
+ */
+export type SendMcpRequestResponse = Message<"leaflow.fleet.mcp.v1.SendMcpRequestResponse"> & {
+    /**
+     * The server's JSON-RPC 2.0 response, with the id of the request as the
+     * service sent it, at most 8 MiB; a larger one fails the call with
+     * RESOURCE_EXHAUSTED and reason RESULT_TOO_LARGE.
+     *
+     * @generated from field: bytes response = 1;
+     */
+    response: Uint8Array;
+};
+/**
+ * Describes the message leaflow.fleet.mcp.v1.SendMcpRequestResponse.
+ * Use `create(SendMcpRequestResponseSchema)` to create a new message.
+ */
+export declare const SendMcpRequestResponseSchema: GenMessage<SendMcpRequestResponse>;
+/**
+ * The state of the configuration file.
+ *
+ * @generated from enum leaflow.fleet.mcp.v1.McpConfigurationState
+ */
+export declare enum McpConfigurationState {
+    /**
+     * @generated from enum value: MCP_CONFIGURATION_STATE_UNSPECIFIED = 0;
+     */
+    UNSPECIFIED = 0,
+    /**
+     * Read in full; the servers are the file's.
+     *
+     * @generated from enum value: MCP_CONFIGURATION_STATE_OK = 1;
+     */
+    OK = 1,
+    /**
+     * There is no file: no server.
+     *
+     * @generated from enum value: MCP_CONFIGURATION_STATE_MISSING = 2;
+     */
+    MISSING = 2,
+    /**
+     * The file cannot be read, such as for its permissions. The servers are
+     * those of the file last read in full, if any.
+     *
+     * @generated from enum value: MCP_CONFIGURATION_STATE_UNREADABLE = 3;
+     */
+    UNREADABLE = 3,
+    /**
+     * The file is not a JSON object with an object "mcpServers". The servers
+     * are those of the file last read in full, if any.
+     *
+     * @generated from enum value: MCP_CONFIGURATION_STATE_INVALID = 4;
+     */
+    INVALID = 4
+}
+/**
+ * Describes the enum leaflow.fleet.mcp.v1.McpConfigurationState.
+ */
+export declare const McpConfigurationStateSchema: GenEnum<McpConfigurationState>;
+/**
+ * How the Agent speaks to a server.
+ *
+ * @generated from enum leaflow.fleet.mcp.v1.McpTransport
+ */
+export declare enum McpTransport {
+    /**
+     * @generated from enum value: MCP_TRANSPORT_UNSPECIFIED = 0;
+     */
+    UNSPECIFIED = 0,
+    /**
+     * A program the Agent starts, over its standard input and output.
+     *
+     * @generated from enum value: MCP_TRANSPORT_STDIO = 1;
+     */
+    STDIO = 1,
+    /**
+     * Streamable HTTP.
+     *
+     * @generated from enum value: MCP_TRANSPORT_HTTP = 2;
+     */
+    HTTP = 2,
+    /**
+     * HTTP with Server-Sent Events, the transport of earlier revisions of MCP.
+     *
+     * @generated from enum value: MCP_TRANSPORT_SSE = 3;
+     */
+    SSE = 3
+}
+/**
+ * Describes the enum leaflow.fleet.mcp.v1.McpTransport.
+ */
+export declare const McpTransportSchema: GenEnum<McpTransport>;
+/**
+ * What a server is doing.
+ *
+ * @generated from enum leaflow.fleet.mcp.v1.McpServerState
+ */
+export declare enum McpServerState {
+    /**
+     * @generated from enum value: MCP_SERVER_STATE_UNSPECIFIED = 0;
+     */
+    UNSPECIFIED = 0,
+    /**
+     * Not started or connected, such as before its first use or after it was
+     * idle.
+     *
+     * @generated from enum value: MCP_SERVER_STATE_STOPPED = 1;
+     */
+    STOPPED = 1,
+    /**
+     * Being started or connected to.
+     *
+     * @generated from enum value: MCP_SERVER_STATE_STARTING = 2;
+     */
+    STARTING = 2,
+    /**
+     * Initialized and serving.
+     *
+     * @generated from enum value: MCP_SERVER_STATE_RUNNING = 3;
+     */
+    RUNNING = 3,
+    /**
+     * It could not be started or reached, or it ended; it is tried again when
+     * next used.
+     *
+     * @generated from enum value: MCP_SERVER_STATE_FAILED = 4;
+     */
+    FAILED = 4,
+    /**
+     * Its entry is configured with "disabled": true.
+     *
+     * @generated from enum value: MCP_SERVER_STATE_DISABLED = 5;
+     */
+    DISABLED = 5,
+    /**
+     * Its entry is not valid; failure is INVALID_DEFINITION.
+     *
+     * @generated from enum value: MCP_SERVER_STATE_INVALID = 6;
+     */
+    INVALID = 6
+}
+/**
+ * Describes the enum leaflow.fleet.mcp.v1.McpServerState.
+ */
+export declare const McpServerStateSchema: GenEnum<McpServerState>;
+/**
+ * Why a server failed or is not valid.
+ *
+ * @generated from enum leaflow.fleet.mcp.v1.McpServerFailure
+ */
+export declare enum McpServerFailure {
+    /**
+     * @generated from enum value: MCP_SERVER_FAILURE_UNSPECIFIED = 0;
+     */
+    UNSPECIFIED = 0,
+    /**
+     * Its name or entry is not valid, such as an entry with neither "command"
+     * nor "url".
+     *
+     * @generated from enum value: MCP_SERVER_FAILURE_INVALID_DEFINITION = 1;
+     */
+    INVALID_DEFINITION = 1,
+    /**
+     * Its program could not be started, such as when it is not installed.
+     *
+     * @generated from enum value: MCP_SERVER_FAILURE_START_FAILED = 2;
+     */
+    START_FAILED = 2,
+    /**
+     * Its program ended.
+     *
+     * @generated from enum value: MCP_SERVER_FAILURE_EXITED = 3;
+     */
+    EXITED = 3,
+    /**
+     * Its endpoint could not be reached.
+     *
+     * @generated from enum value: MCP_SERVER_FAILURE_UNREACHABLE = 4;
+     */
+    UNREACHABLE = 4,
+    /**
+     * Its endpoint asked for authorization that the headers do not give.
+     *
+     * @generated from enum value: MCP_SERVER_FAILURE_UNAUTHORIZED = 5;
+     */
+    UNAUTHORIZED = 5,
+    /**
+     * It did not speak MCP as expected, such as by failing initialization.
+     *
+     * @generated from enum value: MCP_SERVER_FAILURE_PROTOCOL_ERROR = 6;
+     */
+    PROTOCOL_ERROR = 6,
+    /**
+     * It did not answer in time.
+     *
+     * @generated from enum value: MCP_SERVER_FAILURE_TIMEOUT = 7;
+     */
+    TIMEOUT = 7
+}
+/**
+ * Describes the enum leaflow.fleet.mcp.v1.McpServerFailure.
+ */
+export declare const McpServerFailureSchema: GenEnum<McpServerFailure>;
+/**
+ * The MCP servers of an account. Served by the daemon; the service calls it.
+ *
+ * Every method fails with:
+ *   - INVALID_ARGUMENT and reason INVALID_REQUEST for a request that breaks
+ *     the rules of its fields;
+ *   - NOT_FOUND and reason USER_NOT_FOUND for an account the machine's copy
+ *     of the directory does not hold for user_id;
+ *   - PERMISSION_DENIED and reason USER_NOT_ALLOWED, ACCOUNT_EXPIRED or
+ *     PAM_PERMISSION_DENIED, as for leaflow.fleet.command.v1 RunCommand.
+ *
+ * @generated from service leaflow.fleet.mcp.v1.McpService
+ */
+export declare const McpService: GenService<{
+    /**
+     * Returns the account's configuration file and every server in it, with
+     * what it is doing now.
+     *
+     * @generated from rpc leaflow.fleet.mcp.v1.McpService.ListMcpServers
+     */
+    listMcpServers: {
+        methodKind: "unary";
+        input: typeof ListMcpServersRequestSchema;
+        output: typeof ListMcpServersResponseSchema;
+    };
+    /**
+     * Adds a server to the account's configuration or replaces one, and
+     * returns the file as written.
+     *
+     * Fails with:
+     *   - FAILED_PRECONDITION and reason MCP_CONFIGURATION_CHANGED when the
+     *     file is no longer at expected_revision;
+     *   - FAILED_PRECONDITION and reason MCP_CONFIGURATION_INVALID when the
+     *     file cannot be read or is not valid: replace it whole first.
+     *
+     * @generated from rpc leaflow.fleet.mcp.v1.McpService.PutMcpServer
+     */
+    putMcpServer: {
+        methodKind: "unary";
+        input: typeof PutMcpServerRequestSchema;
+        output: typeof PutMcpServerResponseSchema;
+    };
+    /**
+     * Removes a server from the account's configuration and stops it. Removing
+     * one that is not configured succeeds.
+     *
+     * Fails as PutMcpServer.
+     *
+     * @generated from rpc leaflow.fleet.mcp.v1.McpService.DeleteMcpServer
+     */
+    deleteMcpServer: {
+        methodKind: "unary";
+        input: typeof DeleteMcpServerRequestSchema;
+        output: typeof DeleteMcpServerResponseSchema;
+    };
+    /**
+     * Replaces the account's configuration file as a whole, also one that
+     * cannot be read or is not valid.
+     *
+     * Fails with:
+     *   - FAILED_PRECONDITION and reason MCP_CONFIGURATION_CHANGED as for
+     *     PutMcpServer;
+     *   - INVALID_ARGUMENT and reason MCP_CONFIGURATION_INVALID when content is
+     *     not a JSON object with an object "mcpServers", with metadata "line"
+     *     and "column" of the first error.
+     *
+     * @generated from rpc leaflow.fleet.mcp.v1.McpService.ReplaceMcpConfiguration
+     */
+    replaceMcpConfiguration: {
+        methodKind: "unary";
+        input: typeof ReplaceMcpConfigurationRequestSchema;
+        output: typeof ReplaceMcpConfigurationResponseSchema;
+    };
+    /**
+     * Lists the tools of the account's servers, or of one of them, that match
+     * a query: every word of it, ignoring case, in the tool's name, title or
+     * description. Servers that are not running are started to learn their
+     * tools; one that cannot be is named in unavailable_servers, and the
+     * others are listed anyway. The call does not wait for slow servers: before
+     * its timeout passes it answers with those still starting named in
+     * unavailable_servers with TIMEOUT, and they go on starting, so that a
+     * later call lists their tools.
+     *
+     * Fails with NOT_FOUND and reason MCP_SERVER_NOT_FOUND for a server that is
+     * not configured.
+     *
+     * @generated from rpc leaflow.fleet.mcp.v1.McpService.ListMcpTools
+     */
+    listMcpTools: {
+        methodKind: "unary";
+        input: typeof ListMcpToolsRequestSchema;
+        output: typeof ListMcpToolsResponseSchema;
+    };
+    /**
+     * Sends one JSON-RPC request of MCP to one of the account's servers, such
+     * as tools/call, resources/read or prompts/get, and returns its response.
+     * The Agent itself handles initialization and the session of the server,
+     * and passes the request on without checking it against a revision of MCP.
+     * When the call is cancelled or its timeout passes, the Agent cancels the
+     * request at the server (notifications/cancelled). A request the server
+     * makes of the client meanwhile, such as for sampling, is answered with the
+     * JSON-RPC error -32601, and its notifications, such as of progress, are
+     * dropped.
+     *
+     * Fails with:
+     *   - NOT_FOUND and reason MCP_SERVER_NOT_FOUND for a server that is not
+     *     configured;
+     *   - UNAVAILABLE and reason MCP_SERVER_UNAVAILABLE when the server could not
+     *     be started or reached, with metadata "failure", a McpServerFailure
+     *     name without its prefix in lower case, such as "unauthorized";
+     *   - INVALID_ARGUMENT and reason INVALID_REQUEST for a message that is not
+     *     one JSON-RPC request, such as a batch or a notification, or that is
+     *     one of initialization.
+     * A response with a JSON-RPC error is a successful call.
+     *
+     * @generated from rpc leaflow.fleet.mcp.v1.McpService.SendMcpRequest
+     */
+    sendMcpRequest: {
+        methodKind: "unary";
+        input: typeof SendMcpRequestRequestSchema;
+        output: typeof SendMcpRequestResponseSchema;
+    };
+}>;