addrbookFor publishers
← The evidence ledger

Evidence row 577470

Observed , by probe.mcp/1.

Kind
mcp.tools
About
endpoint 568ecdfd-c51f-498d-9b6e-3c68dfd5c381
Recorded
Previous row
None: the first of its kind about this subject
Body SHA-256
f8e364d1a3df9fde25bb18703898ca1522853a76c0c98e694ad0ee6a31f99e97
Leaf
0xcdf0af3904cfe0593a4899e84abf53ec275b4c102ae38631a0a4dca7076df052

What was observed

{
  "count": 52,
  "tools": [
    {
      "description": "Register a device token so server reminders (stand up, break over) can reach it. The phone app registers itself; use this for testing or a manual token.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "label": {
            "type": "string"
          },
          "platform": {
            "enum": [
              "ios",
              "android",
              "macos",
              "windows",
              "web"
            ],
            "type": "string"
          },
          "token": {
            "minLength": 20,
            "type": "string"
          }
        },
        "required": [
          "token",
          "platform"
        ],
        "type": "object"
      },
      "name": "add_device"
    },
    {
      "description": "Add a one-line note to a running session (this connection's, or session_id). May classify a session that was unclassified.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "note": {
            "type": "string"
          },
          "op_id": {
            "description": "for apps replaying queued requests: an id the app minted before its first attempt and reuses on retries, so the write is applied once and a retry gets the first answer back. Do not invent one; an agent calling interactively leaves it out",
            "maxLength": 128,
            "minLength": 8,
            "type": "string"
          },
          "session_id": {
            "description": "from get_now; required with op_id",
            "type": "string"
          }
        },
        "required": [
          "note"
        ],
        "type": "object"
      },
      "name": "add_note"
    },
    {
      "description": "Post the day's progress, only after the user explicitly said to post. text is the draft as the user edited it (default: the draft from get_post_draft). Goes to the networks chosen in settings, or the ones given. A network where the user already posted that day themselves is skipped. Each day goes to each network once: a retry never posts twice. Today or yesterday only. Pro.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "date": {
            "description": "YYYY-MM-DD in the user's timezone",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          },
          "networks": {
            "description": "default: the networks chosen in settings",
            "items": {
              "enum": [
                "wip",
                "bluesky"
              ],
              "type": "string"
            },
            "type": "array"
          },
          "text": {
            "maxLength": 4000,
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "add_post"
    },
    {
      "description": "Add past time that was not timed: minutes (ending now, or at end), or start+end as HH:MM on date. For calls, children, workout, paid work, or work done away from the agent. Apps replaying a queued entry pass op_id, so a retry does not count the time twice.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "area": {
            "description": "default work",
            "enum": [
              "health",
              "relations",
              "work",
              "money",
              "happiness"
            ],
            "type": "string"
          },
          "date": {
            "description": "YYYY-MM-DD in the user's timezone",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          },
          "end": {
            "description": "HH:MM local time",
            "pattern": "^\\d{1,2}:\\d{2}$",
            "type": "string"
          },
          "exclusive": {
            "description": "true: nothing else was happening then",
            "type": "boolean"
          },
          "itemId": {
            "description": "plan item id",
            "type": "string"
          },
          "leverId": {
            "type": "string"
          },
          "minutes": {
            "maximum": 9007199254740991,
            "minimum": 1,
            "type": "integer"
          },
          "op_id": {
            "description": "for apps replaying queued requests: an id the app minted before its first attempt and reuses on retries, so the write is applied once and a retry gets the first answer back. Do not invent one; an agent calling interactively leaves it out",
            "maxLength": 128,
            "minLength": 8,
            "type": "string"
          },
          "projectId": {
            "type": "string"
          },
          "start": {
            "description": "HH:MM local time",
            "pattern": "^\\d{1,2}:\\d{2}$",
            "type": "string"
          },
          "stepId": {
            "description": "path step id",
            "type": "string"
          },
          "task": {
            "type": "string"
          },
          "weight": {
            "description": "attention weight vs other sessions at the same time, default 1",
            "minimum": 0,
            "type": "number"
          }
        },
        "required": [
          "task"
        ],
        "type": "object"
      },
      "name": "add_session"
    },
    {
      "description": "Connect WIP (wip.co) or Bluesky so AimYear can post the day's progress there when the user says Post (Pro). WIP: api_key from wip.co settings. Bluesky: handle and an app password (Settings → Privacy and security → App passwords), never the account password. The login is checked, stored encrypted and never shown again. The app's connect screen usually calls this; if the user pastes a key into the chat, use it once and do not repeat it.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "api_key": {
            "description": "WIP only",
            "maxLength": 512,
            "minLength": 8,
            "type": "string"
          },
          "app_password": {
            "description": "Bluesky only: xxxx-xxxx-xxxx-xxxx",
            "maxLength": 64,
            "type": "string"
          },
          "handle": {
            "description": "Bluesky only, e.g. name.bsky.social",
            "maxLength": 253,
            "type": "string"
          },
          "network": {
            "enum": [
              "wip",
              "bluesky"
            ],
            "type": "string"
          }
        },
        "required": [
          "network"
        ],
        "type": "object"
      },
      "name": "add_social_account"
    },
    {
      "description": "Add concrete steps to a milestone. A step is an action that fits a few work blocks (\"email 10 people from the waitlist\"), not \"do marketing\". Abstract steps are rejected. Put a hard-lever step first; preparation only where it blocks it (warns otherwise).",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "milestoneId": {
            "type": "string"
          },
          "op_id": {
            "description": "for apps replaying queued requests: an id the app minted before its first attempt and reuses on retries, so the write is applied once and a retry gets the first answer back. Do not invent one; an agent calling interactively leaves it out",
            "maxLength": 128,
            "minLength": 8,
            "type": "string"
          },
          "steps": {
            "items": {
              "properties": {
                "estimateMin": {
                  "maximum": 9007199254740991,
                  "minimum": -9007199254740991,
                  "type": "integer"
                },
                "leverId": {
                  "type": "string"
                },
                "title": {
                  "type": "string"
                }
              },
              "required": [
                "title"
              ],
              "type": "object"
            },
            "type": "array"
          }
        },
        "required": [
          "milestoneId",
          "steps"
        ],
        "type": "object"
      },
      "name": "add_steps"
    },
    {
      "description": "Check a goal that is not saved yet against the rubric (a countable metric with value today and target, or a done-or-not result you can check yes or no; deadline within 12 months; pace per week). Changes nothing. Returns problems[] and next_question: loop until problems is empty, then call set_goal. Prefer count; use done only when no honest number exists.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "baseline": {
            "description": "value today",
            "type": "number"
          },
          "deadline": {
            "description": "YYYY-MM-DD in the user's timezone",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          },
          "kind": {
            "description": "count (default): a number from baseline to target, e.g. \"15 paying customers\". done: a one-time result checked yes or no, e.g. \"launch v2 in the stores\"; no metric, baseline or target, progress is the share of stages done",
            "enum": [
              "count",
              "done"
            ],
            "type": "string"
          },
          "metric": {
            "description": "the one number and its unit, e.g. \"paying customers\"",
            "type": "string"
          },
          "target": {
            "type": "number"
          },
          "title": {
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "check_goal_draft"
    },
    {
      "description": "Disconnect one agent: its sign-in for this account is deleted and it can no longer read or change anything until it connects again. Only on the user's explicit request. client_id from list_agents.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "client_id": {
            "maxLength": 200,
            "minLength": 1,
            "type": "string"
          }
        },
        "required": [
          "client_id"
        ],
        "type": "object"
      },
      "name": "delete_agent"
    },
    {
      "description": "Remove a device so it stops receiving reminders.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "token": {
            "type": "string"
          }
        },
        "required": [
          "token"
        ],
        "type": "object"
      },
      "name": "delete_device"
    },
    {
      "description": "Remove one item from a day's plan. A routine item is skipped for that day only.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "date": {
            "description": "YYYY-MM-DD in the user's timezone",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          },
          "itemId": {
            "type": "string"
          }
        },
        "required": [
          "itemId"
        ],
        "type": "object"
      },
      "name": "delete_plan_item"
    },
    {
      "description": "Delete a session, running or finished, so it no longer counts. Pass session_id from get_now or list_sessions; without it, only this connection's single running session is deleted, never another one.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "op_id": {
            "description": "for apps replaying queued requests: an id the app minted before its first attempt and reuses on retries, so the write is applied once and a retry gets the first answer back. Do not invent one; an agent calling interactively leaves it out",
            "maxLength": 128,
            "minLength": 8,
            "type": "string"
          },
          "session_id": {
            "description": "required with op_id",
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "delete_session"
    },
    {
      "description": "Disconnect a network and delete its saved login. Posts already made stay there.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "network": {
            "enum": [
              "wip",
              "bluesky"
            ],
            "type": "string"
          }
        },
        "required": [
          "network"
        ],
        "type": "object"
      },
      "name": "delete_social_account"
    },
    {
      "description": "Delete one step from the path.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "stepId": {
            "type": "string"
          }
        },
        "required": [
          "stepId"
        ],
        "type": "object"
      },
      "name": "delete_step"
    },
    {
      "description": "Change one milestone: title, kind (count or steps), metric, target, due date, status or track. status=retired drops it without finishing; done or retired moves its track to the next milestone. Its steps are kept.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "due": {
            "description": "YYYY-MM-DD in the user's timezone",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          },
          "kind": {
            "description": "count: progress is a recorded value against target (\"talk to 20 people\"); steps: progress is steps done (\"implement the onboarding flow\"), no metric needed. Default: count when metric and target are given, else steps; an existing milestone keeps its kind",
            "enum": [
              "count",
              "steps"
            ],
            "type": "string"
          },
          "metric": {
            "type": "string"
          },
          "milestoneId": {
            "type": "string"
          },
          "status": {
            "enum": [
              "todo",
              "doing",
              "done",
              "retired"
            ],
            "type": "string"
          },
          "target": {
            "type": "number"
          },
          "title": {
            "type": "string"
          },
          "trackId": {
            "description": "move it to this track (set_tracks)",
            "type": "string"
          }
        },
        "required": [
          "milestoneId"
        ],
        "type": "object"
      },
      "name": "edit_milestone"
    },
    {
      "description": "Change one plan item: mark it done or not done, rename it, change its estimate, area or links, or make it the main step. done=true also completes its linked path step. For a weekly routine, count says how many units this tick did (talked to 2 people today). For a routine, level minimum says only its bad-day minimum was done: it counts for the day, reported apart from full.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "area": {
            "enum": [
              "health",
              "relations",
              "work",
              "money",
              "happiness"
            ],
            "type": "string"
          },
          "count": {
            "description": "units done in this tick, for a routine with perWeek; above 0 ticks it, 0 unticks it",
            "maximum": 9007199254740991,
            "minimum": 0,
            "type": "integer"
          },
          "date": {
            "description": "YYYY-MM-DD in the user's timezone",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          },
          "done": {
            "type": "boolean"
          },
          "estimateMin": {
            "maximum": 9007199254740991,
            "minimum": -9007199254740991,
            "type": "integer"
          },
          "isMainStep": {
            "type": "boolean"
          },
          "itemId": {
            "type": "string"
          },
          "level": {
            "description": "routines only; sets done unless done is given",
            "enum": [
              "full",
              "minimum"
            ],
            "type": "string"
          },
          "leverId": {
            "type": "string"
          },
          "projectId": {
            "type": "string"
          },
          "stepId": {
            "type": "string"
          },
          "title": {
            "type": "string"
          }
        },
        "required": [
          "itemId"
        ],
        "type": "object"
      },
      "name": "edit_plan_item"
    },
    {
      "description": "Fix a session, running or finished: start and end (HH:MM on date; an end before the start means it ran past midnight), task, area, project, lever, step, plan item, summary, outcome, attention share, weight. It is classified again after a change. Use it when a timer was forgotten or a session was labelled wrong.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "area": {
            "description": "default work",
            "enum": [
              "health",
              "relations",
              "work",
              "money",
              "happiness"
            ],
            "type": "string"
          },
          "attention_share": {
            "description": "share of the session's wall time that was real attention",
            "maximum": 1,
            "minimum": 0,
            "type": "number"
          },
          "date": {
            "description": "local date of start and end; default the session's own date",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          },
          "end": {
            "description": "HH:MM local time",
            "pattern": "^\\d{1,2}:\\d{2}$",
            "type": "string"
          },
          "exclusive": {
            "description": "true: nothing else was happening then",
            "type": "boolean"
          },
          "itemId": {
            "description": "plan item id",
            "type": "string"
          },
          "leverId": {
            "type": "string"
          },
          "outcome": {
            "enum": [
              "done",
              "partial",
              "abandoned"
            ],
            "type": "string"
          },
          "projectId": {
            "type": "string"
          },
          "session_id": {
            "type": "string"
          },
          "start": {
            "description": "HH:MM local time",
            "pattern": "^\\d{1,2}:\\d{2}$",
            "type": "string"
          },
          "stepId": {
            "description": "path step id",
            "type": "string"
          },
          "summary": {
            "type": "string"
          },
          "task": {
            "type": "string"
          },
          "weight": {
            "description": "attention weight vs other sessions at the same time, default 1",
            "minimum": 0,
            "type": "number"
          }
        },
        "required": [
          "session_id"
        ],
        "type": "object"
      },
      "name": "edit_session"
    },
    {
      "description": "Change one step: title, status (todo/doing/done), order, lever, estimate.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "estimateMin": {
            "maximum": 9007199254740991,
            "minimum": -9007199254740991,
            "type": "integer"
          },
          "leverId": {
            "type": "string"
          },
          "order": {
            "maximum": 9007199254740991,
            "minimum": -9007199254740991,
            "type": "integer"
          },
          "status": {
            "enum": [
              "todo",
              "doing",
              "done"
            ],
            "type": "string"
          },
          "stepId": {
            "type": "string"
          },
          "title": {
            "type": "string"
          }
        },
        "required": [
          "stepId"
        ],
        "type": "object"
      },
      "name": "edit_step"
    },
    {
      "description": "Untimed stretches of 20+ minutes between the first and last session of a day. Ask the user what happened there.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "date": {
            "description": "YYYY-MM-DD in the user's timezone",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "find_gaps"
    },
    {
      "description": "Where time leaks: comfortable goal work while the main step waited, overrides, unplanned work, gaps, switching, missed main steps, days without a plan. Default the last 7 days.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "from": {
            "description": "YYYY-MM-DD in the user's timezone",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          },
          "to": {
            "description": "YYYY-MM-DD in the user's timezone",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "find_leaks"
    },
    {
      "description": "Weekly time budget out of 168 hours: overhead, hours committed per area, focus windows, and what is still unaccounted for. Nothing is assumed.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {},
        "type": "object"
      },
      "name": "get_capacity"
    },
    {
      "description": "Recurring weekly time: commitments (school runs, training, classes), overhead (sleep, meals) and focus windows.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {},
        "type": "object"
      },
      "name": "get_commitments"
    },
    {
      "description": "The one yearly goal: kind (count or done), metric, starting value, current value, target, deadline, progress, levers (hard/comfortable) and other projects. Call first in most flows.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {},
        "type": "object"
      },
      "name": "get_goal"
    },
    {
      "description": "Week (the last 7 days) or month (the last 30 days) ending on to (default today): minutes per day on the aim, other work and life; hard vs comfortable share of aim time; an hour × weekday heatmap of aim minutes (6:00–23:00, Mon–Sun) with its hard part and the peak; main-step days; and comebacks (active days after 2+ days away, over 90 days). Wall minutes of finished sessions, as the app shows them.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "range": {
            "description": "default week",
            "enum": [
              "week",
              "month"
            ],
            "type": "string"
          },
          "to": {
            "description": "last day, default today",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "get_insights"
    },
    {
      "description": "What is happening now: running sessions with attention shares, the timer, today's main step, today's minutes, the streak and a one-line nudge.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {},
        "type": "object"
      },
      "name": "get_now"
    },
    {
      "description": "Milestones with kind, progress (recorded value or steps done), pace (ahead/on_pace/behind) and their steps. With tracks: tracks[], each with its current_milestone_id (every track has its own current milestone); current_milestone_id is then the first open one in list order. Without tracks, current_milestone_id is the one to work on.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {},
        "type": "object"
      },
      "name": "get_path"
    },
    {
      "description": "The plan for a day (default today).",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "date": {
            "description": "YYYY-MM-DD in the user's timezone",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "get_plan"
    },
    {
      "description": "Everything needed to plan a day: goal and pace, next_steps, yesterday's summary and undone items, week balance, days since a hard lever. Defaults to tomorrow. The agent plans; then call set_plan.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "date": {
            "description": "YYYY-MM-DD in the user's timezone",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "get_planning_context"
    },
    {
      "description": "The day's progress post drafted from the record (aim and progress, main step done or not, minutes on the aim and on hard work, routines, comebacks), at most 300 characters, ending with aimyear.com; and per network whether it is ready, already posted, or skipped because the user already posted there that day. Posts nothing. Pro.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "date": {
            "description": "YYYY-MM-DD in the user's timezone",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "get_post_draft"
    },
    {
      "description": "Routines: small steps that repeat on fixed weekdays, e.g. \"talk with one person on Reddit\", or that count up to a number a week, e.g. \"talk to 5 people a week\", each with an optional bad-day minimum. The server adds them to each matching day's plan, so every device and agent sees the same checks. With no routines yet, returns ready-made starters for the aim's area to offer as they are.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {},
        "type": "object"
      },
      "name": "get_routines"
    },
    {
      "description": "Timezone, where reminders go (desktop or mobile), timer settings, and which networks get progress posts (post_to).",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {},
        "type": "object"
      },
      "name": "get_settings"
    },
    {
      "description": "Agents connected to this AimYear account (Claude, ChatGPT, Claude Code, the AimYear app…): name, client_id, when it connected and when it was last active. current marks the one calling.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {},
        "type": "object"
      },
      "name": "list_agents"
    },
    {
      "description": "Which devices can receive reminders, and when each was last seen.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {},
        "type": "object"
      },
      "name": "list_devices"
    },
    {
      "description": "Sessions in a date range (default the last 7 days), with ids, optionally filtered by area or project.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "area": {
            "enum": [
              "health",
              "relations",
              "work",
              "money",
              "happiness"
            ],
            "type": "string"
          },
          "from": {
            "description": "YYYY-MM-DD in the user's timezone",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          },
          "projectId": {
            "type": "string"
          },
          "to": {
            "description": "YYYY-MM-DD in the user's timezone",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "list_sessions"
    },
    {
      "description": "Connected networks (handle, since when), which of them get progress posts, and whether the user has Pro. Never returns any key or password.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {},
        "type": "object"
      },
      "name": "list_social_accounts"
    },
    {
      "description": "Open steps of the current milestone (of every track, taken in turns, each step with its track), hard-lever steps first: the candidates for today's main step.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "count": {
            "maximum": 20,
            "minimum": 1,
            "type": "integer"
          }
        },
        "type": "object"
      },
      "name": "next_steps"
    },
    {
      "description": "Record the current value of the goal metric (\"I now have 4 customers\"), or of a countable milestone when milestoneId is given (\"I have talked to 7 people\"). For a done-or-not goal, 1 marks it done. One value per date: calling again for the same date corrects it. Says when the target is reached; a countable milestone that reaches its target is done.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "date": {
            "description": "YYYY-MM-DD in the user's timezone",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          },
          "milestoneId": {
            "description": "a countable milestone instead of the goal",
            "type": "string"
          },
          "value": {
            "type": "number"
          }
        },
        "required": [
          "value"
        ],
        "type": "object"
      },
      "name": "record_progress"
    },
    {
      "description": "Replace the list of recurring weekly commitments. days are ISO weekdays 1=Mon..7=Sun; use timesPerWeek instead when there are no fixed days. Pass existing ids to keep them.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "commitments": {
            "items": {
              "properties": {
                "area": {
                  "description": "required for kind commitment",
                  "enum": [
                    "health",
                    "relations",
                    "work",
                    "money",
                    "happiness"
                  ],
                  "type": "string"
                },
                "assumed": {
                  "description": "true when the number is your inference, not something the user stated",
                  "type": "boolean"
                },
                "days": {
                  "items": {
                    "maximum": 7,
                    "minimum": 1,
                    "type": "integer"
                  },
                  "type": "array"
                },
                "id": {
                  "type": "string"
                },
                "insideWindowId": {
                  "description": "id of a kind:window entry this commitment is carved out of, so the window is not counted twice",
                  "type": "string"
                },
                "kind": {
                  "description": "commitment = unavailable and belongs to an area; overhead = unavailable and belongs to no area (sleep, meals, hygiene, moving between places); window = time available for focus work. Default commitment.",
                  "enum": [
                    "commitment",
                    "overhead",
                    "window"
                  ],
                  "type": "string"
                },
                "minutes": {
                  "maximum": 9007199254740991,
                  "minimum": 1,
                  "type": "integer"
                },
                "note": {
                  "type": "string"
                },
                "projectId": {
                  "type": "string"
                },
                "start": {
                  "description": "HH:MM local time",
                  "pattern": "^\\d{1,2}:\\d{2}$",
                  "type": "string"
                },
                "timesPerWeek": {
                  "maximum": 7,
                  "minimum": 1,
                  "type": "integer"
                },
                "title": {
                  "type": "string"
                },
                "usableForWork": {
                  "description": "committed but still workable (waiting, being a passenger)",
                  "type": "boolean"
                }
              },
              "required": [
                "title",
                "minutes"
              ],
              "type": "object"
            },
            "type": "array"
          }
        },
        "required": [
          "commitments"
        ],
        "type": "object"
      },
      "name": "set_commitments"
    },
    {
      "description": "Tracking for a day: full (everything recorded, the default) or off (timer and reminders only, nothing stored, no plan required).",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "date": {
            "description": "YYYY-MM-DD in the user's timezone",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          },
          "mode": {
            "enum": [
              "full",
              "off"
            ],
            "type": "string"
          }
        },
        "required": [
          "mode"
        ],
        "type": "object"
      },
      "name": "set_day_mode"
    },
    {
      "description": "Save the yearly goal, or replace it with the next one. Rejects with problems[] if the rubric fails. Keeps levers and projects. area is which of the five life areas the goal belongs to.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "area": {
            "description": "default money",
            "enum": [
              "health",
              "relations",
              "work",
              "money",
              "happiness"
            ],
            "type": "string"
          },
          "baseline": {
            "description": "value today; required for kind count",
            "type": "number"
          },
          "deadline": {
            "description": "YYYY-MM-DD in the user's timezone",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          },
          "kind": {
            "description": "count (default): a number from baseline to target, e.g. \"15 paying customers\". done: a one-time result checked yes or no, e.g. \"launch v2 in the stores\"; no metric, baseline or target, progress is the share of stages done",
            "enum": [
              "count",
              "done"
            ],
            "type": "string"
          },
          "metric": {
            "description": "required for kind count",
            "type": "string"
          },
          "target": {
            "description": "required for kind count",
            "type": "number"
          },
          "title": {
            "type": "string"
          },
          "why": {
            "type": "string"
          }
        },
        "required": [
          "title",
          "deadline"
        ],
        "type": "object"
      },
      "name": "set_goal"
    },
    {
      "description": "Replace the list of levers: the recurring kinds of goal work. At least one must be kind=hard (the work the user avoids). keywords/repos are hints for classifying sessions from their task text. Pass existing ids to keep them.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "levers": {
            "items": {
              "properties": {
                "examples": {
                  "items": {
                    "type": "string"
                  },
                  "type": "array"
                },
                "id": {
                  "type": "string"
                },
                "keywords": {
                  "items": {
                    "type": "string"
                  },
                  "type": "array"
                },
                "kind": {
                  "enum": [
                    "hard",
                    "comfortable"
                  ],
                  "type": "string"
                },
                "name": {
                  "type": "string"
                },
                "repos": {
                  "items": {
                    "type": "string"
                  },
                  "type": "array"
                }
              },
              "required": [
                "name",
                "kind"
              ],
              "type": "object"
            },
            "type": "array"
          }
        },
        "required": [
          "levers"
        ],
        "type": "object"
      },
      "name": "set_levers"
    },
    {
      "description": "Replace the list of ordered milestones under the goal (2–6, or up to 6 per track), each countable (metric and target) or measured by its steps, with a due date before the goal deadline; due dates in order within a track. Pass each existing id, or that milestone's steps are deleted. To change one milestone, use edit_milestone.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "milestones": {
            "items": {
              "properties": {
                "due": {
                  "description": "YYYY-MM-DD in the user's timezone",
                  "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
                  "type": "string"
                },
                "id": {
                  "type": "string"
                },
                "kind": {
                  "description": "count: progress is a recorded value against target (\"talk to 20 people\"); steps: progress is steps done (\"implement the onboarding flow\"), no metric needed. Default: count when metric and target are given, else steps; an existing milestone keeps its kind",
                  "enum": [
                    "count",
                    "steps"
                  ],
                  "type": "string"
                },
                "metric": {
                  "type": "string"
                },
                "target": {
                  "type": "number"
                },
                "title": {
                  "type": "string"
                },
                "trackId": {
                  "description": "the track this milestone belongs to (set_tracks); required for open milestones once the path has tracks",
                  "type": "string"
                }
              },
              "required": [
                "title",
                "due"
              ],
              "type": "object"
            },
            "type": "array"
          }
        },
        "required": [
          "milestones"
        ],
        "type": "object"
      },
      "name": "set_milestones"
    },
    {
      "description": "Replace the plan for a day. Exactly one item must have isMainStep=true (the step toward the goal), ideally linked by stepId from next_steps and on a hard lever. Warns when no item is on a hard lever. Other items: paid work, family, workout, etc. with their area. Items that stay keep their done state.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "date": {
            "description": "YYYY-MM-DD in the user's timezone",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          },
          "items": {
            "items": {
              "properties": {
                "area": {
                  "enum": [
                    "health",
                    "relations",
                    "work",
                    "money",
                    "happiness"
                  ],
                  "type": "string"
                },
                "estimateMin": {
                  "maximum": 9007199254740991,
                  "minimum": -9007199254740991,
                  "type": "integer"
                },
                "isMainStep": {
                  "type": "boolean"
                },
                "leverId": {
                  "type": "string"
                },
                "projectId": {
                  "type": "string"
                },
                "stepId": {
                  "type": "string"
                },
                "title": {
                  "type": "string"
                }
              },
              "required": [
                "title",
                "area"
              ],
              "type": "object"
            },
            "type": "array"
          }
        },
        "required": [
          "items"
        ],
        "type": "object"
      },
      "name": "set_plan"
    },
    {
      "description": "Replace the list of other projects (paid work, other products, life routines), so their sessions count as other work or life, not goal work. Pass the whole list: leave one out to remove it, change its name or hints to edit it. Pass existing ids to keep them.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "projects": {
            "items": {
              "properties": {
                "area": {
                  "enum": [
                    "health",
                    "relations",
                    "work",
                    "money",
                    "happiness"
                  ],
                  "type": "string"
                },
                "id": {
                  "type": "string"
                },
                "keywords": {
                  "items": {
                    "type": "string"
                  },
                  "type": "array"
                },
                "name": {
                  "type": "string"
                },
                "repos": {
                  "items": {
                    "type": "string"
                  },
                  "type": "array"
                }
              },
              "required": [
                "name",
                "area"
              ],
              "type": "object"
            },
            "type": "array"
          }
        },
        "required": [
          "projects"
        ],
        "type": "object"
      },
      "name": "set_projects"
    },
    {
      "description": "Replace the list of routines: small steps that repeat on fixed weekdays. From today on, each one appears as a plan item on its days; tick it with edit_plan_item, skip it for one day with delete_plan_item. set_plan keeps them. days are ISO weekdays 1=Mon..7=Sun, default every day. perWeek makes it a weekly count: each tick adds its count (default 1), and once the week reaches perWeek it leaves the plan until Monday. Link it to the goal with leverId. minimum is the small version for a bad day (\"read one thread\" for \"talk to one person\"). Pass existing ids to keep them.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "routines": {
            "items": {
              "properties": {
                "area": {
                  "enum": [
                    "health",
                    "relations",
                    "work",
                    "money",
                    "happiness"
                  ],
                  "type": "string"
                },
                "days": {
                  "items": {
                    "maximum": 7,
                    "minimum": 1,
                    "type": "integer"
                  },
                  "type": "array"
                },
                "estimateMin": {
                  "description": "default 15",
                  "maximum": 9007199254740991,
                  "minimum": -9007199254740991,
                  "type": "integer"
                },
                "id": {
                  "type": "string"
                },
                "leverId": {
                  "type": "string"
                },
                "minimum": {
                  "description": "the bad-day version, e.g. \"read one thread\"",
                  "type": "string"
                },
                "perWeek": {
                  "description": "weekly count, e.g. 5 for \"talk to 5 people a week\"",
                  "maximum": 9007199254740991,
                  "minimum": 1,
                  "type": "integer"
                },
                "projectId": {
                  "type": "string"
                },
                "title": {
                  "type": "string"
                }
              },
              "required": [
                "title",
                "area"
              ],
              "type": "object"
            },
            "type": "array"
          }
        },
        "required": [
          "routines"
        ],
        "type": "object"
      },
      "name": "set_routines"
    },
    {
      "description": "Change any of: timezone (IANA name, e.g. Europe/Madrid; it sets where each day starts and ends), workplace for reminders, stand-up interval workMin, breakMin, longBreakEvery, longBreakMin, standup on/off, post_to (networks for progress posts).",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "breakMin": {
            "maximum": 60,
            "minimum": 1,
            "type": "integer"
          },
          "longBreakEvery": {
            "maximum": 10,
            "minimum": 1,
            "type": "integer"
          },
          "longBreakMin": {
            "maximum": 60,
            "minimum": 5,
            "type": "integer"
          },
          "post_to": {
            "description": "which connected networks get the day's progress post (the app sets it); [] for none",
            "items": {
              "enum": [
                "wip",
                "bluesky"
              ],
              "type": "string"
            },
            "type": "array"
          },
          "standup": {
            "type": "boolean"
          },
          "timezone": {
            "type": "string"
          },
          "workMin": {
            "maximum": 120,
            "minimum": 5,
            "type": "integer"
          },
          "workplace": {
            "enum": [
              "desktop",
              "mobile"
            ],
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "set_settings"
    },
    {
      "description": "Replace the tracks of the path: 0 to 3 different ways to reach the same aim (e.g. two products that could each earn the target), each with its own milestones and current milestone. reach says how this track alone would reach the aim. milestoneIds puts those milestones into the track, in that order. An empty list makes the path one list again. Use tracks only when the user chooses to work on more than one way; never present one track as the wrong one.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "tracks": {
            "items": {
              "properties": {
                "id": {
                  "type": "string"
                },
                "milestoneIds": {
                  "items": {
                    "type": "string"
                  },
                  "type": "array"
                },
                "reach": {
                  "description": "how this track alone reaches the aim, e.g. \"about 24 yearly plans sold in December\"",
                  "type": "string"
                },
                "title": {
                  "type": "string"
                }
              },
              "required": [
                "title"
              ],
              "type": "object"
            },
            "type": "array"
          }
        },
        "required": [
          "tracks"
        ],
        "type": "object"
      },
      "name": "set_tracks"
    },
    {
      "description": "Set attention weights of the running sessions at once, e.g. {\"abc\": 0.7, \"def\": 0.3}. Applies to the whole session. For a finished session use edit_session.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "shares": {
            "additionalProperties": {
              "minimum": 0,
              "type": "number"
            },
            "propertyNames": {
              "type": "string"
            },
            "type": "object"
          }
        },
        "required": [
          "shares"
        ],
        "type": "object"
      },
      "name": "split_attention"
    },
    {
      "description": "Start a session of work and, if none is running, the timer. Returns a verdict: ok | stop | plan_first. On \"stop\" NO session is created: relay the message, ask the user; if they insist, call again with override=true. Several sessions may run at once (two terminals) and share attention by weight. Apps replaying a queued start pass op_id, their own session_id and start_at; an agent leaves all three out.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "area": {
            "description": "default work",
            "enum": [
              "health",
              "relations",
              "work",
              "money",
              "happiness"
            ],
            "type": "string"
          },
          "direction": {
            "description": "up (default) counts elapsed time and runs until stopped, with a stand-up reminder every workMin; down is a fixed timebox, for a break",
            "enum": [
              "up",
              "down"
            ],
            "type": "string"
          },
          "exclusive": {
            "description": "true: nothing else was happening then",
            "type": "boolean"
          },
          "itemId": {
            "description": "plan item id",
            "type": "string"
          },
          "leverId": {
            "type": "string"
          },
          "minutes": {
            "description": "length for a down timer, or the stand-up interval for an up timer",
            "maximum": 120,
            "minimum": 5,
            "type": "integer"
          },
          "op_id": {
            "description": "for apps replaying queued requests: an id the app minted before its first attempt and reuses on retries, so the write is applied once and a retry gets the first answer back. Do not invent one; an agent calling interactively leaves it out",
            "maxLength": 128,
            "minLength": 8,
            "type": "string"
          },
          "override": {
            "description": "true only after the user confirmed past a stop",
            "type": "boolean"
          },
          "projectId": {
            "type": "string"
          },
          "session_id": {
            "description": "for apps: the session id the app minted itself. Create-if-absent: if a session with this id exists it is returned and nothing is created. An agent leaves it out; the server mints the id",
            "maxLength": 64,
            "minLength": 6,
            "type": "string"
          },
          "start_at": {
            "description": "when the work began as ISO 8601 with offset, e.g. 2026-10-20T14:05:00+02:00. For apps delivering a request queued offline; an agent calling interactively leaves it out. Rejected before the session start; a clock more than 2 minutes ahead of the server is taken as now",
            "type": "string"
          },
          "stepId": {
            "description": "path step id",
            "type": "string"
          },
          "task": {
            "description": "what you are about to do, specific",
            "type": "string"
          },
          "weight": {
            "description": "attention weight vs other sessions at the same time, default 1",
            "minimum": 0,
            "type": "number"
          },
          "workplace": {
            "enum": [
              "desktop",
              "mobile"
            ],
            "type": "string"
          }
        },
        "required": [
          "task"
        ],
        "type": "object"
      },
      "name": "start_session"
    },
    {
      "description": "Stop a running session with a summary and outcome. Pass session_id from get_now; without it, only this connection's single running session is stopped, never another one. The timer keeps running for other sessions. outcome=done completes the linked plan item or path step. Without end_at or op_id it refuses a session that already ended: use edit_session for that. With end_at (apps delivering a stop queued offline) a second stop on the same session is merged, whatever order they arrive in: the earliest end wins, done wins over any other outcome, the first summary stays and a different later one goes to the notes; the answer says applied: ended | shortened | recorded.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "attention_share": {
            "description": "corrects the share in hindsight",
            "maximum": 1,
            "minimum": 0,
            "type": "number"
          },
          "end_at": {
            "description": "when the work ended as ISO 8601 with offset, e.g. 2026-10-20T14:05:00+02:00. For apps delivering a request queued offline; an agent calling interactively leaves it out. Rejected before the session start; a clock more than 2 minutes ahead of the server is taken as now",
            "type": "string"
          },
          "op_id": {
            "description": "for apps replaying queued requests: an id the app minted before its first attempt and reuses on retries, so the write is applied once and a retry gets the first answer back. Do not invent one; an agent calling interactively leaves it out",
            "maxLength": 128,
            "minLength": 8,
            "type": "string"
          },
          "outcome": {
            "enum": [
              "done",
              "partial",
              "abandoned"
            ],
            "type": "string"
          },
          "session_id": {
            "description": "from get_now; required with op_id or end_at",
            "type": "string"
          },
          "summary": {
            "type": "string"
          }
        },
        "required": [
          "summary",
          "outcome"
        ],
        "type": "object"
      },
      "name": "stop_session"
    },
    {
      "description": "Stop the timer (\"pause\", \"stop\", \"stand up\") and every running session with it. There is no paused state: resuming starts a new session. Pass summary and outcome to save them on the sessions it closes, or call stop_session first. Returns the break length.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "outcome": {
            "description": "default partial",
            "enum": [
              "done",
              "partial",
              "abandoned"
            ],
            "type": "string"
          },
          "summary": {
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "stop_timer"
    },
    {
      "description": "Full summary of a day: wall and attention minutes per area, classification and lever, sessions, gaps, overlaps, overrides.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "date": {
            "description": "YYYY-MM-DD in the user's timezone",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "summarize_day"
    },
    {
      "description": "A week, Monday to Sunday (to today for the current week): main-step days, goal share, hard share, area balance, overrides, streak, milestone pace.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "date": {
            "description": "any day of the week, default today",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "summarize_week"
    }
  ]
}

What the leaf hashes

{"body":"f8e364d1a3df9fde25bb18703898ca1522853a76c0c98e694ad0ee6a31f99e97","id":577470,"kind":"mcp.tools","method":"probe.mcp/1","observed_us":1793142609564151,"prev":null,"subject":"568ecdfd-c51f-498d-9b6e-3c68dfd5c381","subject_kind":"endpoint"}

Proof

Fold these into the leaf in order, hashing each sorted pair with keccak256, to reach the root of (273461 rows).

  1. 0xcdf067cb6fb64b43883e2d7e03bc0b7ae8ee0bf3a23a705aecaf9b9779743fe8
  2. 0x6cd30003f52be3ab4bb8f0d792a4322e1cef0d1037d5f968f0e01f02efa72fb5
  3. 0xcbfa8e3b1eda9279be328e7e5133086c693407818d57054449967dd1f992af2e
  4. 0xb39732702045e8e5506e6de66b40ea73bb88fb0e1cc2706a5df5f56ad2ebc8f7
  5. 0xc319aef9a1295d0ac7edf599894bd05c94f9b25ae236c412a2dcf69aa4a0bf7f
  6. 0x372ca02509cdbf957741f405243abb4b070f4eb3afaf8ff5e3386619d228a922
  7. 0x5b641b8cc5cdb1a2d16e8d5114e8b2c795663b04cc26fe00b0f7a6f1ea5d6358
  8. 0x6da51ae532d453023cdab838e9b9ea8f4d220e4d2dae649331f344e4fc3f615f
  9. 0x4adf356113f7702969d22165db7b2ccf38a67acb5eb1cbf718c01944b33dc8cc
  10. 0xc47333eaed4999c782c1a85ca79791472b5a3f8d20a499815180a17f44f99851
  11. 0x8e565ff0c748ae2cc61548174e51ddca11de3dc906e11accf31e6523b86a600c
  12. 0x66e8d9e469038ef11a686abeed12c8ceb38a1a8cd79012ccf20d29a30858cbbc
  13. 0xeb77e9d1884bf470f4a13a5869956a83ac37957112a29ccb9e63ddf7791b5a0b
  14. 0xcc49fd573532e5a29f5be4033f62a2eff71456c020bd2258312b98e95cfe301e
  15. 0x969cd44e5a4e8dc3110540398fbf689659eb51df735c1cda5d8f021ef9ff5683
  16. 0xa94627de1af0e823832e05a9069b304ecccb8c0cdb8f9cfc4f2039bfb9799dc5
  17. 0xdf1105afdc109de3c09a98fc8a3864159ad964e6f49b635c105a27a1e1f14310
  18. 0x2bf8151e5f157dd183b9de6fa00469551932a7a6e3f33a694895000ac9061197
  19. 0x9fc354c0ea3efc3f1b6548bb77ea902a50f2c9647647ea61592efce2bd795699
Day root
0xdd77e5e99da32c3f154180d63e3c3e6fe11e896a2c6896412ef6b5c4bcf7e795
Chained
0x23bb4dfd09f55c15ac3962f53578e02c6114d5bfd9bb451cf8794fb6e2817ef4
Published
On Arc Testnet, block 69414147: 0xb2ebd83aafeb765a0ce66e76aefb133ed06606c98038fd56191e2bcd1dcb77b4

How to check it · This row as JSON