changedOutput schema / (root)
Previous value: -nullNew value: +{
+ "$schema": "https://json-schema.org/draft/2020-12/schema",
+ "additionalProperties": false,
+ "properties": {
+ "servers": {
+ "items": {
+ "additionalProperties": false,
+ "properties": {
+ "description": {
+ "description": "The child's own title, empty if it has never connected.",
+ "type": "string"
+ },
+ "hidden": {
+ "const": true,
+ "description": "Present only for a server whose tools are served by its own endpoint alone.",
+ "type": "boolean"
+ },
+ "name": {
+ "description": "Name to pass to the other tools.",
+ "type": "string"
+ },
+ "status": {
+ "description": "What the hub is currently doing with this server.",
+ "enum": [
+ "starting",
+ "up",
+ "down",
+ "stopped",
+ "sleeping",
+ "unauthorized"
+ ],
+ "type": "string"
+ },
+ "toolCount": {
+ "description": "Tools this server offers through the hub, after its filter.",
+ "maximum": 9007199254740991,
+ "minimum": -9007199254740991,
+ "type": "integer"
+ }
+ },
+ "required": [
+ "name",
+ "description",
+ "status",
+ "toolCount"
+ ],
+ "type": "object"
+ },
+ "type": "array"
+ }
+ },
+ "required": [
+ "servers"
+ ],
+ "type": "object"
+}