Add Option to Disable MCP Servers (#513)

This commit is contained in:
Timo Clasen
2025-06-29 03:05:31 +02:00
committed by GitHub
parent 3a9584a419
commit f0962e2d9c
3 changed files with 20 additions and 0 deletions

View File

@@ -37,6 +37,10 @@ export namespace Config {
.record(z.string(), z.string())
.optional()
.describe("Environment variables to set when running the MCP server"),
enabled: z
.boolean()
.optional()
.describe("Enable or disable the MCP server on startup"),
})
.strict()
.openapi({
@@ -47,6 +51,10 @@ export namespace Config {
.object({
type: z.literal("remote").describe("Type of MCP server connection"),
url: z.string().describe("URL of the remote MCP server"),
enabled: z
.boolean()
.optional()
.describe("Enable or disable the MCP server on startup"),
})
.strict()
.openapi({