Server definition
- Hash
- sha256:67a0f41fcdf265bf71fd3ccfc0b2b6a28a8a47fafacbe445cf0b4b6a896a3edb
- What it is
- What a remote MCP server returned when asked what it offers: 14 tools
The blob, as servednamed by its sha256
{
"instructions": "PaperDock exposes projects according to the connected account's current PaperDock memberships and roles. Start with list_projects; a successful response confirms the connection. Use the exact projectId in every project tool call, ask the user when the target is ambiguous, and keep projectId out of user-facing responses unless explicitly requested. Use list_files to inspect paths, search_files when the requested word, phrase, citation key, label, command, or other text may appear in unknown files, and read_file directly when the target file is already known. For a localized task in a large text file, use read_file.lineRange to load only the needed lines. Read the relevant current text before editing it and pass the returned baseRevision to edit_file. For a long replacement that covers complete source lines, refine lineRange to exactly those lines and pass its rangeToken with insert; this avoids retyping the old text. Otherwise use guarded operations for focused edits, with the exact unmodified expectedText at each sequential UTF-16 range. Never retype, normalize, spell-correct, or manually Unicode-escape expectedText. Use full content only for broad rewrites. If a revision, target, or range-token conflict occurs, read the relevant current text again and retry once; do not repeat reconstructed text or guessed offsets. Edit multiple files sequentially with edit_file, and if a later edit fails, stop and report which earlier files were already changed. Use upload_file only for new editable text paths and edit_file for existing text. Binary uploads and replacements must be performed directly by the user in the PaperDock web app; never recreate the asset under another path or extension. Use read_pdf with an explicit entry .tex path to retrieve an already compiled PDF; it never compiles or waits. Respect the returned freshness and latest compile status, and download and open the PDF before describing its contents or layout. If your client cannot inspect PDFs, say so. Project rename/delete, member management, file rename/delete, folder move/copy, file-history access or revision restore, comment resolution or deletion, and project compilation are intentionally not exposed. Ask the user to perform those actions in the PaperDock web app and never simulate them by emptying, overwriting, copying, recreating, or otherwise modifying related content. Create a project only when the user explicitly asks. 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.",
"tools": [
{
"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",
"outputSchema": {
"additionalProperties": false,
"properties": {
"comment": {
"additionalProperties": false,
"properties": {
"authorType": {
"enum": [
"person",
"ai_agent"
],
"type": "string"
},
"body": {
"type": "string"
},
"commentId": {
"type": "string"
},
"filePath": {
"type": "string"
},
"quote": {
"type": "string"
},
"replies": {
"items": {
"additionalProperties": false,
"properties": {
"authorType": {
"enum": [
"person",
"ai_agent"
],
"type": "string"
},
"body": {
"type": "string"
}
},
"required": [
"authorType",
"body"
],
"type": "object"
},
"type": "array"
},
"selectionFrom": {
"type": "integer"
},
"selectionTo": {
"type": "integer"
},
"status": {
"enum": [
"open",
"resolved"
],
"type": "string"
}
},
"required": [
"authorType",
"body",
"filePath",
"quote",
"commentId",
"replies",
"selectionFrom",
"selectionTo",
"status"
],
"type": "object"
}
},
"required": [
"comment"
],
"type": "object"
}
},
{
"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",
"outputSchema": {
"additionalProperties": false,
"properties": {
"file": {
"additionalProperties": false,
"properties": {
"kind": {
"enum": [
"source",
"asset"
],
"type": "string"
},
"mimeType": {
"type": [
"string",
"null"
]
},
"path": {
"type": "string"
},
"revision": {
"type": "integer"
},
"sizeBytes": {
"type": [
"integer",
"null"
]
}
},
"required": [
"kind",
"mimeType",
"path",
"revision",
"sizeBytes"
],
"type": "object"
},
"status": {
"const": "created",
"type": "string"
}
},
"required": [
"file",
"status"
],
"type": "object"
}
},
{
"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",
"outputSchema": {
"additionalProperties": false,
"properties": {
"initialFilePath": {
"const": "main.tex",
"type": "string"
},
"project": {
"additionalProperties": false,
"properties": {
"capabilities": {
"additionalProperties": false,
"properties": {
"chatRead": {
"type": "boolean"
},
"chatWrite": {
"type": "boolean"
},
"commentRead": {
"type": "boolean"
},
"commentWrite": {
"type": "boolean"
},
"projectWrite": {
"type": "boolean"
},
"read": {
"type": "boolean"
},
"write": {
"type": "boolean"
}
},
"required": [
"chatRead",
"chatWrite",
"commentRead",
"commentWrite",
"projectWrite",
"read",
"write"
],
"type": "object"
},
"name": {
"type": "string"
},
"projectId": {
"type": "string"
},
"role": {
"enum": [
"owner",
"editor",
"viewer"
],
"type": "string"
}
},
"required": [
"capabilities",
"name",
"projectId",
"role"
],
"type": "object"
}
},
"required": [
"initialFilePath",
"project"
],
"type": "object"
}
},
{
"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",
"outputSchema": {
"additionalProperties": false,
"properties": {
"applicationStatus": {
"enum": [
"applied",
"applying",
"not_applied",
"pending_review"
],
"type": "string"
},
"file": {
"additionalProperties": false,
"properties": {
"kind": {
"enum": [
"source",
"asset"
],
"type": "string"
},
"mimeType": {
"type": [
"string",
"null"
]
},
"path": {
"type": "string"
},
"revision": {
"type": "integer"
},
"sizeBytes": {
"type": [
"integer",
"null"
]
}
},
"required": [
"kind",
"mimeType",
"path",
"revision",
"sizeBytes"
],
"type": "object"
}
},
"required": [
"applicationStatus",
"file"
],
"type": "object"
}
},
{
"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",
"outputSchema": {
"additionalProperties": false,
"properties": {
"messages": {
"items": {
"additionalProperties": false,
"properties": {
"authorType": {
"enum": [
"person",
"ai_agent"
],
"type": "string"
},
"body": {
"type": "string"
}
},
"required": [
"authorType",
"body"
],
"type": "object"
},
"type": "array"
},
"truncated": {
"type": "boolean"
}
},
"required": [
"messages",
"truncated"
],
"type": "object"
}
},
{
"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",
"outputSchema": {
"additionalProperties": false,
"properties": {
"comments": {
"items": {
"additionalProperties": false,
"properties": {
"authorType": {
"enum": [
"person",
"ai_agent"
],
"type": "string"
},
"body": {
"type": "string"
},
"commentId": {
"type": "string"
},
"filePath": {
"type": "string"
},
"quote": {
"type": "string"
},
"replies": {
"items": {
"additionalProperties": false,
"properties": {
"authorType": {
"enum": [
"person",
"ai_agent"
],
"type": "string"
},
"body": {
"type": "string"
}
},
"required": [
"authorType",
"body"
],
"type": "object"
},
"type": "array"
},
"selectionFrom": {
"type": "integer"
},
"selectionTo": {
"type": "integer"
},
"status": {
"enum": [
"open",
"resolved"
],
"type": "string"
}
},
"required": [
"authorType",
"body",
"filePath",
"quote",
"commentId",
"replies",
"selectionFrom",
"selectionTo",
"status"
],
"type": "object"
},
"type": "array"
},
"status": {
"const": "open",
"type": "string"
}
},
"required": [
"comments",
"status"
],
"type": "object"
}
},
{
"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",
"outputSchema": {
"additionalProperties": false,
"properties": {
"files": {
"items": {
"additionalProperties": false,
"properties": {
"kind": {
"enum": [
"source",
"asset"
],
"type": "string"
},
"mimeType": {
"type": [
"string",
"null"
]
},
"path": {
"type": "string"
},
"revision": {
"type": "integer"
},
"sizeBytes": {
"type": [
"integer",
"null"
]
}
},
"required": [
"kind",
"mimeType",
"path",
"revision",
"sizeBytes"
],
"type": "object"
},
"type": "array"
}
},
"required": [
"files"
],
"type": "object"
}
},
{
"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",
"outputSchema": {
"additionalProperties": false,
"properties": {
"projects": {
"items": {
"additionalProperties": false,
"properties": {
"capabilities": {
"additionalProperties": false,
"properties": {
"chatRead": {
"type": "boolean"
},
"chatWrite": {
"type": "boolean"
},
"commentRead": {
"type": "boolean"
},
"commentWrite": {
"type": "boolean"
},
"projectWrite": {
"type": "boolean"
},
"read": {
"type": "boolean"
},
"write": {
"type": "boolean"
}
},
"required": [
"chatRead",
"chatWrite",
"commentRead",
"commentWrite",
"projectWrite",
"read",
"write"
],
"type": "object"
},
"name": {
"type": "string"
},
"projectId": {
"type": "string"
},
"role": {
"enum": [
"owner",
"editor",
"viewer"
],
"type": "string"
}
},
"required": [
"capabilities",
"name",
"projectId",
"role"
],
"type": "object"
},
"type": "array"
}
},
"required": [
"projects"
],
"type": "object"
}
},
{
"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",
"outputSchema": {
"additionalProperties": false,
"properties": {
"content": {
"type": "string"
},
"downloadUrl": {
"type": [
"string",
"null"
]
},
"file": {
"additionalProperties": false,
"properties": {
"kind": {
"enum": [
"source",
"asset"
],
"type": "string"
},
"mimeType": {
"type": [
"string",
"null"
]
},
"path": {
"type": "string"
},
"revision": {
"type": "integer"
},
"sizeBytes": {
"type": [
"integer",
"null"
]
}
},
"required": [
"kind",
"mimeType",
"path",
"revision",
"sizeBytes"
],
"type": "object"
},
"range": {
"additionalProperties": false,
"properties": {
"endLine": {
"type": "integer"
},
"endOffset": {
"type": "integer"
},
"rangeToken": {
"type": "string"
},
"startLine": {
"type": "integer"
},
"startOffset": {
"type": "integer"
},
"totalLines": {
"type": "integer"
},
"truncated": {
"type": "boolean"
}
},
"required": [
"endLine",
"endOffset",
"rangeToken",
"startLine",
"startOffset",
"totalLines",
"truncated"
],
"type": "object"
}
},
"required": [
"file"
],
"type": "object"
}
},
{
"description": "Get the latest successful compiled PDF for an explicit entry .tex path, with a signed download link valid for at most 10 minutes, size, generation time, and freshness information. This never compiles, waits, or polls. A newer running or failed compile may coexist with an older successful PDF. Freshness is unknown unless later source changes are detected; never assume the PDF matches current or unsaved source. Download and open the PDF using a PDF-capable tool before discussing its contents or layout; a link alone is not a PDF inspection. If no result exists or it has expired, ask the user to compile in the web app. Use read_file for uploaded PDF assets.",
"inputSchema": {
"additionalProperties": false,
"properties": {
"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",
"outputSchema": {
"additionalProperties": false,
"properties": {
"compiledAt": {
"type": [
"string",
"null"
]
},
"downloadExpiry": {
"type": [
"string",
"null"
]
},
"downloadUrl": {
"type": [
"string",
"null"
]
},
"freshness": {
"enum": [
"outdated",
"unknown"
],
"type": "string"
},
"isLatestCompile": {
"type": "boolean"
},
"latestCompileStatus": {
"enum": [
"queued",
"running",
"completed",
"failed",
"canceled",
"expired",
null
],
"type": [
"string",
"null"
]
},
"mainPath": {
"type": "string"
},
"message": {
"type": "string"
},
"mimeType": {
"const": "application/pdf",
"type": "string"
},
"sizeBytes": {
"type": [
"integer",
"null"
]
},
"status": {
"enum": [
"available",
"not_compiled",
"unavailable"
],
"type": "string"
}
},
"required": [
"status",
"mainPath",
"mimeType",
"downloadUrl",
"downloadExpiry",
"compiledAt",
"sizeBytes",
"freshness",
"latestCompileStatus",
"isLatestCompile",
"message"
],
"type": "object"
}
},
{
"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",
"outputSchema": {
"additionalProperties": false,
"properties": {
"commentId": {
"type": "string"
},
"reply": {
"additionalProperties": false,
"properties": {
"authorType": {
"enum": [
"person",
"ai_agent"
],
"type": "string"
},
"body": {
"type": "string"
}
},
"required": [
"authorType",
"body"
],
"type": "object"
}
},
"required": [
"commentId",
"reply"
],
"type": "object"
}
},
{
"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",
"outputSchema": {
"additionalProperties": false,
"properties": {
"matches": {
"items": {
"additionalProperties": false,
"properties": {
"column": {
"type": "integer"
},
"line": {
"type": "integer"
},
"path": {
"type": "string"
},
"revision": {
"type": "integer"
},
"snippet": {
"type": "string"
},
"type": {
"const": "content",
"type": "string"
}
},
"required": [
"column",
"line",
"path",
"revision",
"snippet",
"type"
],
"type": "object"
},
"type": "array"
},
"searchedFiles": {
"type": "integer"
},
"truncated": {
"type": "boolean"
}
},
"required": [
"matches",
"searchedFiles",
"truncated"
],
"type": "object"
}
},
{
"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",
"outputSchema": {
"additionalProperties": false,
"properties": {
"message": {
"additionalProperties": false,
"properties": {
"authorType": {
"enum": [
"person",
"ai_agent"
],
"type": "string"
},
"body": {
"type": "string"
}
},
"required": [
"authorType",
"body"
],
"type": "object"
}
},
"required": [
"message"
],
"type": "object"
}
},
{
"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",
"outputSchema": {
"additionalProperties": false,
"properties": {
"file": {
"additionalProperties": false,
"properties": {
"kind": {
"enum": [
"source",
"asset"
],
"type": "string"
},
"mimeType": {
"type": [
"string",
"null"
]
},
"path": {
"type": "string"
},
"revision": {
"type": "integer"
},
"sizeBytes": {
"type": [
"integer",
"null"
]
}
},
"required": [
"kind",
"mimeType",
"path",
"revision",
"sizeBytes"
],
"type": "object"
},
"status": {
"const": "created",
"type": "string"
}
},
"required": [
"file",
"status"
],
"type": "object"
}
}
]
}Verify it yourself
curl -s https://api.teppi.xyz/v1/evidence/sha256:67a0f41fcdf265bf71fd3ccfc0b2b6a28a8a47fafacbe445cf0b4b6a896a3edb | sha256sum