Overleaf Forge — the complete, unedited output of the deterministic mcptrustchecker engine v1.10.0, scanned . Every finding, capability tag and score component below is exactly what the engine produced — no AI, no post-processing.
{
"tool": {
"name": "mcptrustchecker",
"version": "1.10.0",
"methodologyVersion": "mcptrustchecker-1.9"
},
"target": {
"id": "overleaf-forge",
"source": {
"kind": "package",
"origin": "overleaf-forge"
},
"server": {
"name": "overleaf-forge"
}
},
"grade": "A",
"score": {
"score": 93,
"threatScore": 100,
"grade": "A",
"band": "A",
"categorySubtotals": {
"injection": 0,
"exfiltration": 0,
"permissions": 0,
"supply-chain": 0,
"network": 0,
"hygiene": 0
},
"vector": [
{
"kind": "client",
"term": "capability-exposure",
"level": "high",
"label": "capability blast radius (high) — client exposure if the model is manipulated",
"appliedPenalty": 6
},
{
"kind": "client",
"term": "verification-discount",
"level": "repo",
"label": "publisher verification (public source) — no provenance, but the source is public and inspectable",
"appliedPenalty": 1
},
{
"kind": "client",
"term": "coverage-honesty",
"level": "source",
"label": "inspection depth (source) — how much of the target the scan could see",
"appliedPenalty": 0
}
],
"gatesFired": [],
"methodologyVersion": "mcptrustchecker-1.9"
},
"capability": {
"level": "high",
"reasons": [
"can send data / act on an external service",
"can create, modify or delete files",
"reads sensitive or local data",
"has a read → egress path (a data-exfiltration surface)",
"can execute shell commands or code"
],
"tags": [
"sensitive-source",
"file-write",
"external-sink",
"code-exec"
]
},
"coverage": {
"level": "source",
"inputs": {
"toolSurface": true,
"implementationSource": true,
"packageMetadata": true,
"liveTransport": false
},
"caveats": [
"Tools were statically extracted from the published source (24 recovered), not enumerated from a running server. Tool-poisoning, Unicode-smuggling, capability and toxic-flow analysis ran on this inferred surface, but a mis-parsed registration could be missed or mis-attributed, so tool-derived findings are capped below “confirmed”. To grade the real runtime surface, scan the running server: --command \"npx -y <package>\"."
]
},
"findings": [
{
"ruleId": "MTC-FLOW-003",
"title": "Read-and-egress in one tool: \"upload_file\"",
"category": "exfiltration",
"severity": "high",
"confidence": "strong",
"description": "Tool \"upload_file\" can both read sensitive data and send data to an external destination. Even without an explicit untrusted-input leg, this is a single-call data-exfiltration path if the model is ever manipulated.",
"remediation": "Separate reading from sending; require explicit user confirmation before egress of file/secret contents.",
"location": {
"kind": "flow",
"name": "upload_file"
},
"owasp": "LLM02:2025 Sensitive Information Disclosure",
"references": [],
"data": {
"tags": [
"sensitive-source",
"external-sink"
]
}
},
{
"ruleId": "MTC-FLOW-004",
"title": "Sensitive-source and external-sink co-exist",
"category": "exfiltration",
"severity": "high",
"confidence": "strong",
"description": "Tools that read sensitive data ([list_files, read_file, write_file, upload_file]) and tools that can send data out ([upload_file]) are exposed together. An agent can move private data to the sink.",
"remediation": "Keep secret-reading and egress capabilities on separate, separately-approved servers.",
"location": {
"kind": "flow",
"name": "list_files → upload_file"
},
"evidence": "sources [list_files, read_file, write_file, upload_file] → sinks [upload_file]",
"owasp": "LLM02:2025 Sensitive Information Disclosure",
"references": [],
"data": {
"sources": [
"list_files",
"read_file",
"write_file",
"upload_file"
],
"sinks": [
"upload_file"
]
}
},
{
"ruleId": "MTC-SRC-002",
"title": "Shell/command execution in server code (overleaf-mcp-server.js)",
"category": "permissions",
"severity": "high",
"confidence": "strong",
"description": "In the server's implementation (`overleaf-mcp-server.js:12`): Spawning a shell/process is command-execution capability; with unsanitized tool input it is command injection / RCE. This is read from the code itself — not from the tool description — so a poisoned server cannot hide it behind honest-looking metadata.",
"remediation": "Review this call path: confirm it never receives unsanitized tool input, constrain it, or remove it. Treat a server whose code reaches these sinks as high-capability regardless of what its tools claim.",
"location": {
"kind": "server",
"name": "overleaf-mcp-server.js"
},
"evidence": "xecFileCallback } from 'child_process'; import path from 'path'; import { fileURLToPath } from 'url'; import os from 'os",
"owasp": "LLM05:2025 Improper Output Handling",
"data": {
"rule": "MTC-SRC-002",
"file": "overleaf-mcp-server.js",
"line": 12,
"nonRuntime": false
}
},
{
"ruleId": "MTC-CAP-002",
"title": "Tool \"edit_file\" can modify the filesystem",
"category": "permissions",
"severity": "medium",
"confidence": "strong",
"description": "Tool \"edit_file\" can write, overwrite or delete files (keyword \"edit_file\" in tool name). Verify it is scoped to a safe directory.",
"remediation": "Constrain file operations to an explicit, non-sensitive root; reject path traversal.",
"location": {
"kind": "tool",
"name": "edit_file"
},
"data": {
"tags": [
"file-write"
]
}
},
{
"ruleId": "MTC-CAP-002",
"title": "Tool \"write_file\" can modify the filesystem",
"category": "permissions",
"severity": "medium",
"confidence": "strong",
"description": "Tool \"write_file\" can write, overwrite or delete files (keyword \"write_file\" in tool name). Verify it is scoped to a safe directory.",
"remediation": "Constrain file operations to an explicit, non-sensitive root; reject path traversal.",
"location": {
"kind": "tool",
"name": "write_file"
},
"data": {
"tags": [
"sensitive-source",
"file-write"
]
}
},
{
"ruleId": "MTC-CAP-005",
"title": "Mutating tool \"edit_file\" declares no destructiveHint",
"category": "hygiene",
"severity": "low",
"confidence": "heuristic",
"description": "Tool \"edit_file\" can mutate/egress but declares no destructiveHint. Clients that don't default to spec-safe behavior may not prompt before running it.",
"remediation": "Declare accurate annotations, and gate destructive tools on user confirmation regardless.",
"location": {
"kind": "tool",
"name": "edit_file"
},
"data": {
"tags": [
"file-write"
]
}
},
{
"ruleId": "MTC-CAP-005",
"title": "Mutating tool \"write_file\" declares no destructiveHint",
"category": "hygiene",
"severity": "low",
"confidence": "heuristic",
"description": "Tool \"write_file\" can mutate/egress but declares no destructiveHint. Clients that don't default to spec-safe behavior may not prompt before running it.",
"remediation": "Declare accurate annotations, and gate destructive tools on user confirmation regardless.",
"location": {
"kind": "tool",
"name": "write_file"
},
"data": {
"tags": [
"sensitive-source",
"file-write"
]
}
},
{
"ruleId": "MTC-CAP-008",
"title": "Unconstrained path parameter \"filePath\" on \"read_file\"",
"category": "permissions",
"severity": "low",
"confidence": "heuristic",
"description": "Tool \"read_file\" takes a path parameter \"filePath\" with no constraint. Without a canonicalize-and-contain check (not visible statically), this permits ../ traversal outside the intended root.",
"remediation": "Resolve and verify the path stays within an allowed root; reject traversal sequences.",
"location": {
"kind": "tool",
"name": "read_file",
"field": "inputSchema.properties.filePath"
},
"data": {
"param": "filePath"
}
},
{
"ruleId": "MTC-CAP-008",
"title": "Unconstrained path parameter \"filePath\" on \"edit_file\"",
"category": "permissions",
"severity": "low",
"confidence": "heuristic",
"description": "Tool \"edit_file\" takes a path parameter \"filePath\" with no constraint. Without a canonicalize-and-contain check (not visible statically), this permits ../ traversal outside the intended root.",
"remediation": "Resolve and verify the path stays within an allowed root; reject traversal sequences.",
"location": {
"kind": "tool",
"name": "edit_file",
"field": "inputSchema.properties.filePath"
},
"data": {
"param": "filePath"
}
},
{
"ruleId": "MTC-CAP-008",
"title": "Unconstrained path parameter \"filePath\" on \"write_file\"",
"category": "permissions",
"severity": "low",
"confidence": "heuristic",
"description": "Tool \"write_file\" takes a path parameter \"filePath\" with no constraint. Without a canonicalize-and-contain check (not visible statically), this permits ../ traversal outside the intended root.",
"remediation": "Resolve and verify the path stays within an allowed root; reject traversal sequences.",
"location": {
"kind": "tool",
"name": "write_file",
"field": "inputSchema.properties.filePath"
},
"data": {
"param": "filePath"
}
}
],
"toxicFlows": [
{
"id": "flow-1",
"severity": "high",
"confidence": "strong",
"untrustedInput": [],
"sensitiveSource": [
"upload_file"
],
"externalSink": [
"upload_file"
],
"selfContained": true,
"description": "Tool \"upload_file\" both reads sensitive data and can send it externally."
},
{
"id": "flow-2",
"severity": "high",
"confidence": "strong",
"untrustedInput": [],
"sensitiveSource": [
"list_files",
"read_file",
"write_file",
"upload_file"
],
"externalSink": [
"upload_file"
],
"selfContained": false,
"path": [
"list_files",
"upload_file"
],
"pathWired": false,
"description": "A sensitive-source → external-sink chain exists: list_files → upload_file."
}
],
"capabilities": [
{
"tool": "get_context",
"tags": [],
"reasons": {}
},
{
"tool": "list_projects",
"tags": [],
"reasons": {}
},
{
"tool": "bootstrap_ssa",
"tags": [],
"reasons": {}
},
{
"tool": "reset_ssa_content",
"tags": [],
"reasons": {}
},
{
"tool": "configure",
"tags": [],
"reasons": {}
},
{
"tool": "register_project",
"tags": [],
"reasons": {}
},
{
"tool": "set_project_path",
"tags": [],
"reasons": {}
},
{
"tool": "update_context",
"tags": [],
"reasons": {}
},
{
"tool": "list_files",
"tags": [
"sensitive-source"
],
"reasons": {
"sensitive-source": [
"keyword \"list_files\""
]
}
},
{
"tool": "read_file",
"tags": [
"sensitive-source"
],
"reasons": {
"sensitive-source": [
"keyword \"read_file\""
]
}
},
{
"tool": "get_sections",
"tags": [],
"reasons": {}
},
{
"tool": "get_section_content",
"tags": [],
"reasons": {}
},
{
"tool": "compile_file",
"tags": [],
"reasons": {}
},
{
"tool": "verify_build",
"tags": [],
"reasons": {}
},
{
"tool": "edit_file",
"tags": [
"file-write"
],
"reasons": {
"file-write": [
"keyword \"edit_file\" in tool name"
]
}
},
{
"tool": "write_file",
"tags": [
"sensitive-source",
"file-write"
],
"reasons": {
"sensitive-source": [
"keyword \"read_file\""
],
"file-write": [
"keyword \"write_file\" in tool name"
]
}
},
{
"tool": "upload_file",
"tags": [
"sensitive-source",
"external-sink"
],
"reasons": {
"sensitive-source": [
"keyword \"read_file\""
],
"external-sink": [
"keyword \"upload_file\""
]
}
},
{
"tool": "search_text",
"tags": [],
"reasons": {}
},
{
"tool": "add_citation",
"tags": [],
"reasons": {}
},
{
"tool": "cite_lint",
"tags": [],
"reasons": {}
},
{
"tool": "checkpoint",
"tags": [],
"reasons": {}
},
{
"tool": "restore",
"tags": [],
"reasons": {}
},
{
"tool": "voice_lint",
"tags": [],
"reasons": {}
},
{
"tool": "status_summary",
"tags": [],
"reasons": {}
}
],
"surfaceDigest": "eeed6d6532a7d9d07f6d56ae7f96cfb17ee21c7e099c573a52a90139760002cb",
"stats": {
"tools": 24,
"prompts": 0,
"resources": 0,
"findingsBySeverity": {
"critical": 0,
"high": 3,
"medium": 2,
"low": 5,
"info": 0
}
}
}