gingur.github.io

{
  "name": "get_todos",
  "kind": "answer",
  "impl": "imperative",
  "description": "Read the todo list: every todo with its id, title and done state, and which todos the list is showing. The other tools take ids from it.",
  "inputSchema": {
    "$schema": "https://json-schema.org/draft/2020-12/schema",
    "type": "object",
    "properties": {},
    "additionalProperties": false
  },
  "page": "/zod-web-demo/"
}

{
  "name": "add_todo",
  "kind": "act",
  "impl": "imperative",
  "description": "Add one new, active todo. Call it once per item.",
  "inputSchema": {
    "$schema": "https://json-schema.org/draft/2020-12/schema",
    "type": "object",
    "properties": {
      "title": {
        "type": "string",
        "minLength": 1,
        "pattern": "^[^\\r\\n]*$",
        "description": "The text of the one new todo, short, e.g. \"Buy eggs\"."
      }
    },
    "required": [
      "title"
    ],
    "additionalProperties": false
  },
  "page": "/zod-web-demo/"
}

{
  "name": "edit_todo",
  "kind": "act",
  "impl": "imperative",
  "description": "Rename a todo.",
  "inputSchema": {
    "$schema": "https://json-schema.org/draft/2020-12/schema",
    "type": "object",
    "properties": {
      "id": {
        "type": "string",
        "description": "The id of an existing todo, copied exactly from the todo context."
      },
      "title": {
        "type": "string",
        "minLength": 1,
        "pattern": "^[^\\r\\n]*$",
        "description": "The new text of the todo. Never empty."
      }
    },
    "required": [
      "id",
      "title"
    ],
    "additionalProperties": false
  },
  "page": "/zod-web-demo/"
}

{
  "name": "mark_todo",
  "kind": "act",
  "impl": "imperative",
  "description": "Check off one todo as done, or uncheck it.",
  "inputSchema": {
    "$schema": "https://json-schema.org/draft/2020-12/schema",
    "type": "object",
    "properties": {
      "id": {
        "type": "string",
        "description": "The id of an existing todo, copied exactly from the todo context."
      },
      "completed": {
        "type": "boolean",
        "description": "true marks it done (check off, tick off, cross off, finish); false marks it not done (uncheck, reopen)."
      }
    },
    "required": [
      "id",
      "completed"
    ],
    "additionalProperties": false
  },
  "page": "/zod-web-demo/"
}

{
  "name": "mark_all",
  "kind": "act",
  "impl": "imperative",
  "description": "Check off every todo as done, or uncheck every todo. Only when asked about all of them.",
  "inputSchema": {
    "$schema": "https://json-schema.org/draft/2020-12/schema",
    "type": "object",
    "properties": {
      "completed": {
        "type": "boolean",
        "description": "true marks every todo done; false marks every todo not done (uncheck all)."
      }
    },
    "required": [
      "completed"
    ],
    "additionalProperties": false
  },
  "page": "/zod-web-demo/"
}

{
  "name": "delete_todo",
  "kind": "transact",
  "impl": "imperative",
  "description": "Delete one todo.",
  "inputSchema": {
    "$schema": "https://json-schema.org/draft/2020-12/schema",
    "type": "object",
    "properties": {
      "id": {
        "type": "string",
        "description": "The id of an existing todo, copied exactly from the todo context."
      }
    },
    "required": [
      "id"
    ],
    "additionalProperties": false
  },
  "page": "/zod-web-demo/"
}

{
  "name": "clear_completed",
  "kind": "act",
  "impl": "imperative",
  "description": "Delete every completed todo.",
  "inputSchema": {
    "$schema": "https://json-schema.org/draft/2020-12/schema",
    "type": "object",
    "properties": {},
    "additionalProperties": false
  },
  "page": "/zod-web-demo/"
}

{
  "name": "set_filter",
  "kind": "act",
  "impl": "imperative",
  "description": "Change which todos the list shows. Only when asked to show or hide todos, not for questions about the list.",
  "inputSchema": {
    "$schema": "https://json-schema.org/draft/2020-12/schema",
    "type": "object",
    "properties": {
      "filter": {
        "type": "string",
        "enum": [
          "all",
          "active",
          "completed"
        ],
        "description": "all shows every todo, active only unfinished ones, completed only finished ones."
      }
    },
    "required": [
      "filter"
    ],
    "additionalProperties": false
  },
  "page": "/zod-web-demo/"
}