Skip to content
verify mcp Beta VerifyMCP is currently in beta. If you notice any issues, get in touch and we’ll put it right.

PaperDock

REMOTE · APP.PAPERDOCK.DEV · SCANNED SEP 25

Overleaf alternative online LaTeX editor. AI agents edit, comment, and chat. Keep or revert edits.

+3 this week 77 Trust /100
Trust breakdown (7 categories)

How this component scores in each security and reliability category. Every signal is checked automatically against the live server, and we only credit what we can confirm. How we score → Why this is hard to score →

Endpoint Security83
  • The endpoint's TLS certificate is valid, in date, and uses a strong key. View diagnostics → Pass
  • Authorisation is enforced on tool calls, advertised via RFC 9728 protected-resource metadata. Discovery is public, which costs nothing: no tool can be invoked without a token. View diagnostics → Pass
  • HTTPS enforcement could not be verified: the plaintext port answered with HTTP 405, which proves neither a plaintext path nor enforcement. View diagnostics → Unverified
  • The HSTS (Strict-Transport-Security) header is present. View diagnostics → Pass
  • DNSSEC check failed: this domain isn't protected by DNSSEC. See how to fix → View diagnostics → Fail
  • The authorisation server offers only Dynamic Client Registration (RFC 7591), which MCP 2026-07-28 deprecated in favour of Client ID Metadata Documents. View diagnostics → Partial
Transport & Reachability100
Schema Quality & AI Usability70
  • AI-judged instruction clarity (good).Pass
  • Context-footprint check failed: tool/resource definitions use about 2011 tokens (~143/item across 14 items; 14 tools + 0 resources), over budget; trim descriptions and params. See how to fix → Fail
  • Usage-examples check failed: none of the tools include examples. See how to fix → Fail
Stability & Change Management50
  • Stability check failed: schema churn in the 17 days we've observed: 1 tool removals, 0 breaking changes, 0 auth/transport breaks, 1 additions. See how to fix → Fail
Tool Coverage72
  • 100% of tools have a non-trivial description (not blank, and not just the tool's name).Pass
  • 2% of tool parameters carry a description.Partial
  • Structured output schemas are declared (100% of tools); any adoption earns full credit.Pass
Tool Safety100
  • No prompt-injection markers were found in the server instructions, tool names or descriptions we captured.Pass
  • All 1 tool(s) whose name or description implies an irreversible operation declare an MCP destructiveHint annotation.Pass
  • An AI judge read all 15 captured unit(s) of tool text and found none that tries to manipulate the model reading it.Pass
Capabilities60
  • Spec-recency check failed: implements MCP spec 2025-06-18; the latest is 2026-07-28. See how to fix → Fail
Install

How do I install the PaperDock MCP server?

PaperDock is a hosted endpoint at https://app.paperdock.dev/api/mcp, so there is nothing to install locally. Ready-made configuration for Claude, Cursor, VS Code, Codex and 5 more is on this page, copied from each client's own documentation.

remote · app.paperdock.dev

# add to Claude Code
claude mcp add --transport http dev-paperdock-paperdock 'https://app.paperdock.dev/api/mcp'
// .cursor/mcp.json
{
  "mcpServers": {
    "dev-paperdock-paperdock": {
      "url": "https://app.paperdock.dev/api/mcp"
    }
  }
}
// .vscode/mcp.json
{
  "servers": {
    "dev-paperdock-paperdock": {
      "type": "http",
      "url": "https://app.paperdock.dev/api/mcp"
    }
  }
}
# ~/.codex/config.toml
[mcp_servers.dev-paperdock-paperdock]
url = "https://app.paperdock.dev/api/mcp"
// opencode.json
{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "dev-paperdock-paperdock": {
      "type": "remote",
      "url": "https://app.paperdock.dev/api/mcp",
      "enabled": true
    }
  }
}
# add to OpenClaw
openclaw mcp add dev-paperdock-paperdock --url 'https://app.paperdock.dev/api/mcp' --transport streamable-http
# ~/.hermes/config.yaml
mcp_servers:
  dev-paperdock-paperdock:
    url: "https://app.paperdock.dev/api/mcp"
// ~/.netclaw/config/netclaw.json
{
  "McpServers": {
    "dev-paperdock-paperdock": {
      "Transport": "http",
      "Url": "https://app.paperdock.dev/api/mcp"
    }
  }
}
# add to Vellum
assistant mcp add dev-paperdock-paperdock -t streamable-http -u 'https://app.paperdock.dev/api/mcp'
// mcp.json
{
  "mcpServers": {
    "dev-paperdock-paperdock": {
      "type": "http",
      "url": "https://app.paperdock.dev/api/mcp"
    }
  }
}

The mcpServers block is a cross-client convention. Remote transports vary, so check your client's docs.

Changelog

Every change we have recorded for this component, newest first. Security-relevant changes are always shown. ▲ marks a change for the better, ▼ a change for the worse; unmarked changes are neutral.

  • 25 Sept 26 +1
    • We updated how we score, so this day's move reflects our rubric, not a change to the server See what changed → functional
  • 22 Sept 26 +1

    No change was recorded against any check on this day. Stability & Change Management went from 36 to 40.

  • 20 Sept 26 +1

    No change was recorded against any check on this day. Stability & Change Management went from 30 to 33.

  • 18 Sept 26 +1

    No change was recorded against any check on this day. Stability & Change Management went from 23 to 26.

  • 16 Sept 26 +1

    No change was recorded against any check on this day. Stability & Change Management went from 16 to 20.

  • 14 Sept 26 0
    • The server rewrote its instructions, which are the text every model session reads security
    • Tool “create_project” rewrote its description, which is the text the model reads security
    • Server version: 0.9.0 → 0.9.1 functional
  • 13 Sept 26 +1

    No change was recorded against any check on this day. Stability & Change Management went from 6 to 10.

  • 11 Sept 26 +1

    No change was recorded against any check on this day. Stability & Change Management went from 0 to 3.

Diagnostics

Diagnostic detail from the automated scan of this channel: what the scanner observed at each step, so you can see exactly where a check passed or failed. It is informational only and never changes the trust score.

Captured 25 Sept 2026 · Probed https://app.paperdock.dev/api/mcp

TLS valid

Negotiated TLS 1.3 with TLS_AES_128_GCM_SHA256 .

Subject Issuer Valid from Valid until Key Signature Serial
CN=paperdock.dev CN=WE1,O=Google Trust Services,C=US 16 Aug 2026 14 Nov 2026 ECDSA 256 ECDSA-SHA256 e10a50d928023b1e0e4102279395921e
SANs: paperdock.dev, app.paperdock.dev, *.app.paperdock.dev
CN=WE1,O=Google Trust Services,C=US (CA) CN=GTS Root R4,O=Google Trust Services LLC,C=US 13 Dec 2023 20 Feb 2029 ECDSA 256 ECDSA-SHA384 7ff31977972c224a76155d13b6d685e3
CN=GTS Root R4,O=Google Trust Services LLC,C=US (CA) CN=GlobalSign Root CA,OU=Root CA,O=GlobalSign nv-sa,C=BE 15 Nov 2023 28 Jan 2028 ECDSA 384 SHA256-RSA 7fe530bf331343bedd821610493d8a1b

Background: What to check on a remote MCP endpoint →

DNSSEC insecure

Validation of app.paperdock.dev. — Not signed

Zone DS Keys Algorithms Outcome
. trust_anchor 20326, 38696 8, 8 Verified
dev. present 60074 8 Verified
paperdock.dev. absent Unsigned (proven) parent-signed NSEC/NSEC3 proves an unsigned delegation
Authentication Enforced and verified

The endpoint asked for a token and published valid RFC 9728 metadata describing how to get one.

Result Enforced and verified
Enforced On tool calls
HTTP status 200

WWW-Authenticate challenge Bearer error="invalid_token", resource_metadata="https://app.paperdock.dev/.well-known/oauth-protected-resource?resource=https%3A%2F%2Fapp.paperdock.dev%2Fapi%2Fmcp"

Bearer error="invalid_token", resource_metadata="https://app.paperdock.dev/.well-known/oauth-protected-resource?resource=https%3A%2F%2Fapp.paperdock.dev%2Fapi%2Fmcp"
Header Value
strict-transport-security max-age=31536000; includeSubDomains
content-security-policy base-uri 'self'; form-action 'self'; frame-ancestors 'none'; object-src 'none'
x-content-type-options nosniff
x-frame-options DENY
referrer-policy no-referrer
permissions-policy camera=(), geolocation=(), microphone=()

Protected resource metadata

Document https://app.paperdock.dev/.well-known/oauth-protected-resource?resource=https%3A%2F%2Fapp.paperdock.dev%2Fapi%2Fmcp
Retrieved Yes
Resource https://app.paperdock.dev/api/mcp
Authorisation server https://app.paperdock.dev

Background: How OAuth 2.1 works in the 2026 MCP spec →

Transports 2 probes
Transport URL Outcome Status Location
streamable-http https://app.paperdock.dev/api/mcp Verified 200
http (plaintext) http://app.paperdock.dev/api/mcp Inconclusive 405
MCP tools · 14 exposed · ~1,470 tokens

The tools this component advertises to a client, with an estimated token cost for each. Expand a tool to see its parameters and schema. The per-tool counts are indicative and are not scored directly; the schema's total context footprint is one signal in Schema Quality & AI Usability. A tool's description is untrusted text the model reads on every call, which is what makes this list a security surface and not just an inventory: how tool poisoning works →

Tool Tokens
create_comment ~127

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.

NameTypeReqDescription
bodystringyes–
contextAfterstring––
contextBeforestring––
fileIdstring––
pathstring––
projectIdstringyes–
quotestring––
selectionFrominteger––
selectionTointeger––
NameTypeReqDescription
commentobjectyes–

No examples provided.

create_file ~62

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.

NameTypeReqDescription
contentstringyes–
pathstringyes–
projectIdstringyes–
NameTypeReqDescription
fileobjectyes–
statusstringyes–

No examples provided.

create_project ~119

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.

NameTypeReqDescription
namestringyes–
NameTypeReqDescription
initialFilePathstringyes–
projectobjectyes–

No examples provided.

edit_file ~251

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.

NameTypeReqDescription
baseRevisionintegeryes–
contentstring––
expectedUpdatedAtstring––
fileIdstring––
insertstring––
operationsarray––
pathstring––
projectIdstringyes–
rangeTokenstring––
NameTypeReqDescription
applicationStatusstringyes–
fileobjectyes–

No examples provided.

list_chat_messages ~33

Read recent project chat messages in chronological order.

NameTypeReqDescription
limitinteger––
projectIdstringyes–
NameTypeReqDescription
messagesarrayyes–
truncatedbooleanyes–

No examples provided.

list_comments ~35

List active project comments and their replies. Resolved comment history is not returned by this tool.

NameTypeReqDescription
projectIdstringyes–
NameTypeReqDescription
commentsarrayyes–
statusstringyes–

No examples provided.

list_files ~26

List project file metadata without loading full file contents.

NameTypeReqDescription
projectIdstringyes–
NameTypeReqDescription
filesarrayyes–

No examples provided.

list_projects ~47

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.

Input schema present but exposes no named parameters.

NameTypeReqDescription
projectsarrayyes–

No examples provided.

read_file ~162

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.

NameTypeReqDescription
fileIdstring––
lineRangeobject––
pathstring––
projectIdstringyes–
NameTypeReqDescription
contentstring––
downloadUrlstring|null––
fileobjectyes–
rangeobject––

No examples provided.

read_pdf ~177

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.

NameTypeReqDescription
pathstringyesProject-relative entry .tex path, such as main.tex. Not a PDF path or URL.
projectIdstringyes–
NameTypeReqDescription
compiledAtstring|nullyes–
downloadExpirystring|nullyes–
downloadUrlstring|nullyes–
freshnessstringyes–
isLatestCompilebooleanyes–
latestCompileStatusstring|nullyes–
mainPathstringyes–
messagestringyes–
mimeTypestringyes–
sizeBytesinteger|nullyes–
statusstringyes–

No examples provided.

reply_to_comment ~117

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.

NameTypeReqDescription
bodystringyes–
commentIdstringyes–
projectIdstringyes–
NameTypeReqDescription
commentIdstringyes–
replyobjectyes–

No examples provided.

search_files ~102

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.

NameTypeReqDescription
extensionsarray––
limitnumber––
projectIdstringyes–
querystringyes–
NameTypeReqDescription
matchesarrayyes–
searchedFilesintegeryes–
truncatedbooleanyes–

No examples provided.

send_chat_message ~71

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.

NameTypeReqDescription
bodystringyes–
projectIdstringyes–
NameTypeReqDescription
messageobjectyes–

No examples provided.

upload_file ~141

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.

NameTypeReqDescription
contentstring––
contentBase64string––
mimeTypestring––
pathstringyes–
projectIdstringyes–
sha256string––
NameTypeReqDescription
fileobjectyes–
statusstringyes–

No examples provided.

Common questions

What is the PaperDock MCP server?

PaperDock is an MCP server listed in the public MCP registry as dev.paperdock/paperdock. Overleaf alternative online LaTeX editor. AI agents edit, comment, and chat. Keep or revert edits. This page covers its hosted endpoint (https://app.paperdock.dev/api/mcp).

Is the PaperDock MCP server safe to use?

PaperDock scores 77 out of 100 on VerifyMCP. That is a record of what we were able to check automatically, not an endorsement. The category breakdown on this page shows every signal behind the number, including the ones we could not confirm.

What tools does the PaperDock MCP server expose?

PaperDock exposes 14 tools: list_projects, create_project, list_files, search_files, read_file, and 9 more. Their descriptions and schemas cost roughly 1,470 tokens of context every time the server is loaded.

Does the PaperDock MCP server require authentication?

Yes. PaperDock asked us for credentials when we connected, so you will need to authorise it in your MCP client before it can do anything.

Is the PaperDock MCP server still maintained?

PaperDock is still listed as active in the MCP registry. We last reached this channel on 25 September 2026. Those dates come from our own scans of the registry and the channel itself, not from anything the publisher announced.