← The evidence ledger
Evidence row 770666
Observed , by probe.mcp/1.
- Kind
- mcp.tools
- About
- endpoint 834f72d2-446a-4f29-9951-b0b6a2167969
- Recorded
- Previous row
- #565925
- Body SHA-256
- ab043a6baacf35e6166d251d54507791b1423833368e9bc39862152112f1e450
- Leaf
- 0x89d3be2aee68f7e5d811cb8223724acf1a5d0888c510baee5eaf13f5f696039b
What was observed
{
"count": 17,
"tools": [
{
"description": "Compile a PDF from server-saved project files using the project's compiler settings and an explicit entry .tex path. Use when the user asks to compile or needs a current PDF, not automatically after every source edit. Requires compile:run and Owner/Editor access. Reuses identical cached PDFs or active jobs, otherwise queues a new job under existing limits. Returns immediately without waiting for compilation. Use read_pdf with the returned jobId for progress and the PDF. Creates a job/artifact and history checkpoints without changing source files or deleting previous artifacts; no public publication or external recipients.",
"inputSchema": {
"additionalProperties": false,
"properties": {
"path": {
"description": "Project-relative entry .tex path, such as main.tex.",
"minLength": 1,
"type": "string"
},
"projectId": {
"format": "uuid",
"type": "string"
}
},
"required": [
"projectId",
"path"
],
"type": "object"
},
"name": "compile_pdf"
},
{
"description": "Create an open Comment on a .tex project file and post it immediately to project collaborators without changing the source file. Later deletion cannot undo prior delivery or reading. Selection offsets may be inferred from quote. Provide exactly one target: fileId or path.",
"inputSchema": {
"additionalProperties": false,
"oneOf": [
{
"required": [
"fileId"
]
},
{
"required": [
"path"
]
}
],
"properties": {
"body": {
"maxLength": 4000,
"type": "string"
},
"contextAfter": {
"maxLength": 500,
"type": "string"
},
"contextBefore": {
"maxLength": 500,
"type": "string"
},
"fileId": {
"format": "uuid",
"type": "string"
},
"path": {
"minLength": 1,
"type": "string"
},
"projectId": {
"format": "uuid",
"type": "string"
},
"quote": {
"maxLength": 1000,
"type": "string"
},
"selectionFrom": {
"minimum": 0,
"type": "integer"
},
"selectionTo": {
"minimum": 0,
"type": "integer"
}
},
"required": [
"projectId",
"body"
],
"type": "object"
},
"name": "create_comment"
},
{
"description": "Create a new editable text file at a new project path from supplied content. Pass an explicit empty string to create an empty file. Existing paths are never overwritten.",
"inputSchema": {
"additionalProperties": false,
"properties": {
"content": {
"type": "string"
},
"path": {
"minLength": 1,
"type": "string"
},
"projectId": {
"format": "uuid",
"type": "string"
}
},
"required": [
"projectId",
"path",
"content"
],
"type": "object"
},
"name": "create_file"
},
{
"description": "Create a new PaperDock project with a starter main.tex only when the user explicitly asks. Names are unique per owner, ignoring letter case and leading/trailing spaces. On PROJECT_NAME_ALREADY_EXISTS, do not retry create_project with the same name or a case/whitespace-only variant. Call list_projects to find the existing project. If the user's intent is unclear, ask whether to use that project or create a new one with a different name. Never modify the existing project or choose a different name without the user's authorization.",
"inputSchema": {
"additionalProperties": false,
"properties": {
"name": {
"maxLength": 120,
"minLength": 1,
"type": "string"
}
},
"required": [
"name"
],
"type": "object"
},
"name": "create_project"
},
{
"description": "Immediately edit one existing editable text file and record the applied change in PaperDock's Review changes UI. Provide exactly one target (fileId or path) and exactly one payload: operations, content, or rangeToken with insert. Read the relevant current text first and pass its baseRevision. For a long replacement covering every line returned by an exact read_file.lineRange call, pass its rangeToken with insert; the token is connection-, file-, revision-, range-, and content-bound and expires after 10 minutes. For other focused edits, use sequential UTF-16 operations and copy expectedText exactly from read_file without retyping, normalization, spelling correction, or manual Unicode escaping; insertions use expectedText: \"\". On a conflict, read again and retry once. Use content only when broadly rewriting most of the file. This tool cannot create, rename, or delete files.",
"inputSchema": {
"additionalProperties": false,
"allOf": [
{
"oneOf": [
{
"required": [
"fileId"
]
},
{
"required": [
"path"
]
}
]
},
{
"oneOf": [
{
"required": [
"operations"
]
},
{
"required": [
"content"
]
},
{
"required": [
"rangeToken",
"insert"
]
}
]
}
],
"properties": {
"baseRevision": {
"minimum": 0,
"type": "integer"
},
"content": {
"type": "string"
},
"expectedUpdatedAt": {
"type": "string"
},
"fileId": {
"format": "uuid",
"type": "string"
},
"insert": {
"type": "string"
},
"operations": {
"items": {
"additionalProperties": false,
"properties": {
"expectedText": {
"type": "string"
},
"from": {
"minimum": 0,
"type": "integer"
},
"insert": {
"type": "string"
},
"to": {
"minimum": 0,
"type": "integer"
}
},
"required": [
"expectedText",
"from",
"insert",
"to"
],
"type": "object"
},
"maxItems": 5000,
"minItems": 1,
"type": "array"
},
"path": {
"minLength": 1,
"type": "string"
},
"projectId": {
"format": "uuid",
"type": "string"
},
"rangeToken": {
"maxLength": 2048,
"minLength": 1,
"type": "string"
}
},
"required": [
"projectId",
"baseRevision"
],
"type": "object"
},
"name": "edit_file"
},
{
"description": "Read recent project chat messages in chronological order.",
"inputSchema": {
"additionalProperties": false,
"properties": {
"limit": {
"maximum": 200,
"minimum": 1,
"type": "integer"
},
"projectId": {
"format": "uuid",
"type": "string"
}
},
"required": [
"projectId"
],
"type": "object"
},
"name": "list_chat_messages"
},
{
"description": "List active project comments and their replies. Resolved comment history is not returned by this tool.",
"inputSchema": {
"additionalProperties": false,
"properties": {
"projectId": {
"format": "uuid",
"type": "string"
}
},
"required": [
"projectId"
],
"type": "object"
},
"name": "list_comments"
},
{
"description": "List project file metadata without loading full file contents.",
"inputSchema": {
"additionalProperties": false,
"properties": {
"projectId": {
"format": "uuid",
"type": "string"
}
},
"required": [
"projectId"
],
"type": "object"
},
"name": "list_files"
},
{
"description": "List standard PaperDock projects accessible to the connected account, including its current role and effective MCP capabilities for each. Use projectId only for subsequent tool calls and do not show it unless explicitly requested.",
"inputSchema": {
"additionalProperties": false,
"properties": {},
"type": "object"
},
"name": "list_projects"
},
{
"description": "Move one existing text or binary file to a project-relative folder in the same project, preserving its filename and contents. Use an empty destinationFolder for the project root. New implicit folders are allowed. Use rename_file or move_file only when the user requests a file rename or move. Both support existing text and binary files without reading or copying their contents. Call list_files first and pass the exact path and its revision as baseRevision. rename_file preserves the directory and extension; move_file preserves the filename within the same project. No overwrites, folder moves, cross-project transfers, or binary content changes are allowed. Path changes apply immediately, outside Review changes Keep/Revert. Text references are not automatically updated: check relevant LaTeX and bibliography references (including relative paths inside a moved text file), use guarded edit_file if needed, and report any incomplete reference updates separately. On a missing path or revision conflict, call list_files and confirm the target before retrying once.",
"inputSchema": {
"additionalProperties": false,
"properties": {
"baseRevision": {
"description": "Current file revision from list_files. No read_file call or binary download is needed.",
"minimum": 0,
"type": "integer"
},
"destinationFolder": {
"description": "Project-relative destination directory, without a trailing slash; empty string means project root.",
"maxLength": 240,
"type": "string"
},
"path": {
"description": "Exact current project-relative file path from list_files.",
"maxLength": 240,
"minLength": 1,
"type": "string"
},
"projectId": {
"format": "uuid",
"type": "string"
}
},
"required": [
"projectId",
"path",
"destinationFolder",
"baseRevision"
],
"type": "object"
},
"name": "move_file"
},
{
"description": "Read an editable project file or return a 10-minute signed download URL for a private project asset. Provide exactly one target: fileId or path. For a localized task in a large text file, pass lineRange with inclusive 1-based startLine and endLine values to return at most 400 lines, absolute UTF-16 offsets, and a revision-bound rangeToken. If replacing all returned source lines, pass that rangeToken to edit_file instead of retyping the old text. Refine lineRange first when only part of the returned range should change. Omit lineRange when the full file is required.",
"inputSchema": {
"additionalProperties": false,
"oneOf": [
{
"required": [
"fileId"
]
},
{
"required": [
"path"
]
}
],
"properties": {
"fileId": {
"format": "uuid",
"type": "string"
},
"lineRange": {
"additionalProperties": false,
"properties": {
"endLine": {
"minimum": 1,
"type": "integer"
},
"startLine": {
"minimum": 1,
"type": "integer"
}
},
"required": [
"startLine",
"endLine"
],
"type": "object"
},
"path": {
"minLength": 1,
"type": "string"
},
"projectId": {
"format": "uuid",
"type": "string"
}
},
"required": [
"projectId"
],
"type": "object"
},
"name": "read_file"
},
{
"description": "Read the latest successful PDF for an explicit entry .tex path, or check the exact job returned by compile_pdf using jobId. Returns a private link valid for at most 10 minutes, progress and fingerprint-based freshness against server-saved files and compiler settings. This never compiles, waits, or polls internally. If a current PDF is needed and the result is missing, outdated or unknown, use compile_pdf then read_pdf with its jobId. For queued/running jobs respect retryAfterSeconds and check at most 5 times per user request; report pending instead of polling indefinitely. If saved inputs changed during compilation, report it rather than repeatedly recompiling. Download and open the PDF before discussing its contents or layout; say if your client cannot inspect PDFs. Unsaved browser edits are not included. Use read_file for uploaded PDF assets.",
"inputSchema": {
"additionalProperties": false,
"properties": {
"jobId": {
"description": "Optional compile_pdf job ID. Checks only this job and never falls back to another PDF.",
"format": "uuid",
"type": "string"
},
"path": {
"description": "Project-relative entry .tex path, such as main.tex. Not a PDF path or URL.",
"minLength": 1,
"type": "string"
},
"projectId": {
"format": "uuid",
"type": "string"
}
},
"required": [
"projectId",
"path"
],
"type": "object"
},
"name": "read_pdf"
},
{
"description": "Rename one existing text or binary file in its current folder, preserving its extension and contents. Use rename_file or move_file only when the user requests a file rename or move. Both support existing text and binary files without reading or copying their contents. Call list_files first and pass the exact path and its revision as baseRevision. rename_file preserves the directory and extension; move_file preserves the filename within the same project. No overwrites, folder moves, cross-project transfers, or binary content changes are allowed. Path changes apply immediately, outside Review changes Keep/Revert. Text references are not automatically updated: check relevant LaTeX and bibliography references (including relative paths inside a moved text file), use guarded edit_file if needed, and report any incomplete reference updates separately. On a missing path or revision conflict, call list_files and confirm the target before retrying once.",
"inputSchema": {
"additionalProperties": false,
"properties": {
"baseRevision": {
"description": "Current file revision from list_files. No read_file call or binary download is needed.",
"minimum": 0,
"type": "integer"
},
"newName": {
"description": "Filename only, with the same extension. No folder path.",
"maxLength": 240,
"minLength": 1,
"type": "string"
},
"path": {
"description": "Exact current project-relative file path from list_files.",
"maxLength": 240,
"minLength": 1,
"type": "string"
},
"projectId": {
"format": "uuid",
"type": "string"
}
},
"required": [
"projectId",
"path",
"newName",
"baseRevision"
],
"type": "object"
},
"name": "rename_file"
},
{
"description": "Post a reply under the connected PaperDock account, marked as created via an AI agent, immediately to an open Comment. Use a commentId returned by list_comments or copied from PaperDock. If a Comment is not found, call list_comments once and do not retry the same missing commentId. It is visible to project collaborators, and later removal cannot undo prior delivery or reading. Write body as natural, collaborator-facing prose.",
"inputSchema": {
"additionalProperties": false,
"properties": {
"body": {
"type": "string"
},
"commentId": {
"format": "uuid",
"type": "string"
},
"projectId": {
"format": "uuid",
"type": "string"
}
},
"required": [
"projectId",
"commentId",
"body"
],
"type": "object"
},
"name": "reply_to_comment"
},
{
"description": "Find where a word, phrase, citation key, label, LaTeX command, or other text appears across editable project files when its file or location is unknown. Search is case-insensitive and returns matching paths, positions, revisions, and short snippets. If the target file is already known, use read_file directly instead.",
"inputSchema": {
"additionalProperties": false,
"properties": {
"extensions": {
"items": {
"type": "string"
},
"type": "array"
},
"limit": {
"maximum": 50,
"minimum": 1,
"type": "number"
},
"projectId": {
"format": "uuid",
"type": "string"
},
"query": {
"minLength": 1,
"type": "string"
}
},
"required": [
"projectId",
"query"
],
"type": "object"
},
"name": "search_files"
},
{
"description": "Post a message under the connected PaperDock account, marked as created via an AI agent, immediately to the selected private PaperDock project's Chat. It is visible to project members, and later editing or deletion cannot undo prior delivery or reading.",
"inputSchema": {
"additionalProperties": false,
"properties": {
"body": {
"maxLength": 4000,
"type": "string"
},
"projectId": {
"format": "uuid",
"type": "string"
}
},
"required": [
"projectId",
"body"
],
"type": "object"
},
"name": "send_chat_message"
},
{
"description": "Create one new editable text file from UTF-8 content. For compatibility contentBase64 is accepted only for UTF-8 text at an editable extension. Existing paths are never overwritten; use edit_file for existing text. Binary uploads and replacements are not supported by MCP: ask the user to upload or replace images, PDFs, and other binary assets directly in the PaperDock web app. Do not recreate them under another path or extension.",
"inputSchema": {
"additionalProperties": false,
"oneOf": [
{
"required": [
"content"
]
},
{
"required": [
"contentBase64"
]
}
],
"properties": {
"content": {
"type": "string"
},
"contentBase64": {
"type": "string"
},
"mimeType": {
"type": "string"
},
"path": {
"minLength": 1,
"type": "string"
},
"projectId": {
"format": "uuid",
"type": "string"
},
"sha256": {
"type": "string"
}
},
"required": [
"projectId",
"path"
],
"type": "object"
},
"name": "upload_file"
}
]
}What the leaf hashes
{"body":"ab043a6baacf35e6166d251d54507791b1423833368e9bc39862152112f1e450","id":770666,"kind":"mcp.tools","method":"probe.mcp/1","observed_us":1793185616300388,"prev":565925,"subject":"834f72d2-446a-4f29-9951-b0b6a2167969","subject_kind":"endpoint"}Proof
Fold these into the leaf in order, hashing each sorted pair with keccak256, to reach the root of (231336 rows).
- 0x89d3a512c1bf35282f05e3adb08dfece729bd1d4046b1f8a8dd84f802c0ce2ed
- 0xc6831962fb56f5474bdae160835ad16dd6fd32426603ecff28cb3c4fcda4a4f1
- 0x8d865a7b377dfed94262c53321cdda59b2f6f08980c520e92757a44347190515
- 0x5b3cf950a062538354c87160e77e7943b03589b7cb138447ea1b217b694dc005
- 0x1d149e7d4f0a30d1b7eb77163b9ad4465f0e3aee7657ba2082f1c9b608240101
- 0x51e291097fa3aaac4af3263f892e2a69fdceb5afa11129883140eccefe0f1be7
- 0x9cdb6b97e0f0b03c3f6a9d7ab588a6afd1c46aee79a2fe73bff1669afcab0e6d
- 0xdf099e509fd2bb406ef9421b4e51b3587dc8a9954ae88903f675323fd15ec07b
- 0xb7ec66a33e17a1f6a0502dca7592ba0337ae6e65522f858ce2dca16ccb21f59f
- 0xe2cc7814bb9454f14e4f5116346dc3638d4698483477688d3967ed8f6b305544
- 0xe857fd3fd38e61e33f26da058ec049b406b1041756dfa3de8d8709036ff89f8b
- 0x1810cd44ebfe5f26ef4925cdfbe26287c4f9dbf1cd3343ea6968181a15656337
- 0x73b20f1c980fc42d6a2767acddce2cb41764e0b54fa3342f0dc75bd609f6023e
- 0x115e196b75a0422533397227b51b9c807591ec2574919c03800bb0d253f110e8
- 0xe2f9c120d14f36fdddf9b4e605c5d0b8a13b835e2380472255dc22e14b93e84e
- 0x74cf00e07b52415c2184cf20be69d195ed2725497a6892c2f3e449497c17d0ec
- 0x7a743a0a09057bae687051274e1d45bf973bd36a1a4ba16a191b5d29e3bdfa2a
- 0xe027395fafb7fc41921c42ca0542524ea22204cbd5908b70b27f3d5fb26f5d0f
- Day root
- 0x2c19037464cc4c493624565f01775d6446fc78eaa118fc6865bfe2bfca9ff78e
- Chained
- 0xd1d7dee8322ceff8f4c8d83aa1fe4a4466825c2af1c97dbde3d35db61234f7be
- Published
- On Arc Testnet, block 69584042: 0x8bae2b1d097834c8b458513862d70d29ee807e98dc2e863b27250131c15b35ae