Raw scan report

Tracepulse — the complete, unedited output of the deterministic mcptrustchecker engine v1.13.0, scanned . Every finding, capability tag and score component below is exactly what the engine produced — no AI, no post-processing.

← Back to the scan page
{
  "tool": {
    "name": "mcptrustchecker",
    "version": "1.13.0",
    "methodologyVersion": "mcptrustchecker-1.13"
  },
  "target": {
    "id": "tracepulse",
    "source": {
      "kind": "package",
      "origin": "tracepulse"
    },
    "server": {
      "name": "tracepulse"
    }
  },
  "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.13"
  },
  "capability": {
    "level": "high",
    "reasons": [
      "can send data / act on an external service",
      "can execute shell commands or code"
    ],
    "tags": [
      "code-exec",
      "external-sink"
    ]
  },
  "coverage": {
    "level": "source",
    "inputs": {
      "toolSurface": true,
      "implementationSource": true,
      "packageMetadata": true,
      "liveTransport": false
    },
    "caveats": [
      "Tools were statically extracted from the published source (44 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-CAP-001",
      "title": "Tool \"verify_build\" exposes command/code execution",
      "category": "permissions",
      "severity": "high",
      "confidence": "strong",
      "description": "Tool \"verify_build\" appears to run shell commands or evaluate code (parameter \"command\"). Arbitrary execution driven by model input is one of the most dangerous MCP capabilities; combined with any untrusted input it becomes RCE.",
      "remediation": "Sandbox execution, allowlist commands/arguments, and never pass model output to a shell unescaped.",
      "location": {
        "kind": "tool",
        "name": "verify_build"
      },
      "owasp": "LLM05:2025 Improper Output Handling",
      "data": {
        "tags": [
          "code-exec"
        ]
      }
    },
    {
      "ruleId": "MTC-CAP-001",
      "title": "Tool \"run_and_watch\" exposes command/code execution",
      "category": "permissions",
      "severity": "high",
      "confidence": "strong",
      "description": "Tool \"run_and_watch\" appears to run shell commands or evaluate code (parameter \"command\"). Arbitrary execution driven by model input is one of the most dangerous MCP capabilities; combined with any untrusted input it becomes RCE.",
      "remediation": "Sandbox execution, allowlist commands/arguments, and never pass model output to a shell unescaped.",
      "location": {
        "kind": "tool",
        "name": "run_and_watch"
      },
      "owasp": "LLM05:2025 Improper Output Handling",
      "data": {
        "tags": [
          "code-exec"
        ]
      }
    },
    {
      "ruleId": "MTC-CAP-001",
      "title": "Tool \"verify_mcp\" exposes command/code execution",
      "category": "permissions",
      "severity": "high",
      "confidence": "strong",
      "description": "Tool \"verify_mcp\" appears to run shell commands or evaluate code (parameter \"command\"). Arbitrary execution driven by model input is one of the most dangerous MCP capabilities; combined with any untrusted input it becomes RCE.",
      "remediation": "Sandbox execution, allowlist commands/arguments, and never pass model output to a shell unescaped.",
      "location": {
        "kind": "tool",
        "name": "verify_mcp"
      },
      "owasp": "LLM05:2025 Improper Output Handling",
      "data": {
        "tags": [
          "code-exec"
        ]
      }
    },
    {
      "ruleId": "MTC-CAP-001",
      "title": "Tool \"start_server\" exposes command/code execution",
      "category": "permissions",
      "severity": "high",
      "confidence": "strong",
      "description": "Tool \"start_server\" appears to run shell commands or evaluate code (parameter \"command\"). Arbitrary execution driven by model input is one of the most dangerous MCP capabilities; combined with any untrusted input it becomes RCE.",
      "remediation": "Sandbox execution, allowlist commands/arguments, and never pass model output to a shell unescaped.",
      "location": {
        "kind": "tool",
        "name": "start_server"
      },
      "owasp": "LLM05:2025 Improper Output Handling",
      "data": {
        "tags": [
          "code-exec"
        ]
      }
    },
    {
      "ruleId": "MTC-SRC-002",
      "title": "Shell/command execution in server code (dist/cli.js)",
      "category": "permissions",
      "severity": "high",
      "confidence": "strong",
      "description": "In the server's implementation (`dist/cli.js:2099`): 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": "dist/cli.js"
      },
      "evidence": "import { spawn } from \"child_process\"; import { createInterface } from \"readline\"; import { resolve } from \"path\"; impo",
      "owasp": "LLM05:2025 Improper Output Handling",
      "data": {
        "rule": "MTC-SRC-002",
        "file": "dist/cli.js",
        "line": 2099,
        "nonRuntime": false
      }
    },
    {
      "ruleId": "MTC-SRC-003",
      "title": "Hardcoded egress to an external endpoint (dist/init-command-V6O4TMLD.js)",
      "category": "exfiltration",
      "severity": "medium",
      "confidence": "strong",
      "description": "In the server's implementation (`dist/init-command-V6O4TMLD.js:101`): A hardcoded outbound call to a fixed external host inside server code is a classic exfiltration/telemetry channel — especially paired with reads of local data. 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": "dist/init-command-V6O4TMLD.js"
      },
      "evidence": "{ const res = await fetch(\"https://registry.npmjs.org/tracepulse/latest\", { signal: AbortSignal.timeout(3e3)",
      "owasp": "LLM02:2025 Sensitive Information Disclosure",
      "data": {
        "rule": "MTC-SRC-003",
        "file": "dist/init-command-V6O4TMLD.js",
        "line": 101,
        "nonRuntime": false
      }
    },
    {
      "ruleId": "MTC-CAP-006",
      "title": "Unconstrained command parameter \"typecheck_command\" on \"verify_build\"",
      "category": "permissions",
      "severity": "medium",
      "confidence": "heuristic",
      "description": "Tool \"verify_build\" takes a command-shaped parameter \"typecheck_command\" with no enum/pattern constraint. Free-form, model- or attacker-controlled arguments reaching a shell is the command-injection precondition.",
      "remediation": "Constrain the parameter (enum/pattern), or build the command from a fixed template with escaped args.",
      "location": {
        "kind": "tool",
        "name": "verify_build",
        "field": "inputSchema.properties.typecheck_command"
      },
      "owasp": "LLM05:2025 Improper Output Handling",
      "data": {
        "param": "typecheck_command"
      }
    },
    {
      "ruleId": "MTC-CAP-006",
      "title": "Unconstrained command parameter \"build_command\" on \"verify_build\"",
      "category": "permissions",
      "severity": "medium",
      "confidence": "heuristic",
      "description": "Tool \"verify_build\" takes a command-shaped parameter \"build_command\" with no enum/pattern constraint. Free-form, model- or attacker-controlled arguments reaching a shell is the command-injection precondition.",
      "remediation": "Constrain the parameter (enum/pattern), or build the command from a fixed template with escaped args.",
      "location": {
        "kind": "tool",
        "name": "verify_build",
        "field": "inputSchema.properties.build_command"
      },
      "owasp": "LLM05:2025 Improper Output Handling",
      "data": {
        "param": "build_command"
      }
    },
    {
      "ruleId": "MTC-CAP-006",
      "title": "Unconstrained command parameter \"command\" on \"run_and_watch\"",
      "category": "permissions",
      "severity": "medium",
      "confidence": "heuristic",
      "description": "Tool \"run_and_watch\" takes a command-shaped parameter \"command\" with no enum/pattern constraint. Free-form, model- or attacker-controlled arguments reaching a shell is the command-injection precondition.",
      "remediation": "Constrain the parameter (enum/pattern), or build the command from a fixed template with escaped args.",
      "location": {
        "kind": "tool",
        "name": "run_and_watch",
        "field": "inputSchema.properties.command"
      },
      "owasp": "LLM05:2025 Improper Output Handling",
      "data": {
        "param": "command"
      }
    },
    {
      "ruleId": "MTC-CAP-006",
      "title": "Unconstrained command parameter \"command\" on \"verify_mcp\"",
      "category": "permissions",
      "severity": "medium",
      "confidence": "heuristic",
      "description": "Tool \"verify_mcp\" takes a command-shaped parameter \"command\" with no enum/pattern constraint. Free-form, model- or attacker-controlled arguments reaching a shell is the command-injection precondition.",
      "remediation": "Constrain the parameter (enum/pattern), or build the command from a fixed template with escaped args.",
      "location": {
        "kind": "tool",
        "name": "verify_mcp",
        "field": "inputSchema.properties.command"
      },
      "owasp": "LLM05:2025 Improper Output Handling",
      "data": {
        "param": "command"
      }
    },
    {
      "ruleId": "MTC-CAP-006",
      "title": "Unconstrained command parameter \"command\" on \"start_server\"",
      "category": "permissions",
      "severity": "medium",
      "confidence": "heuristic",
      "description": "Tool \"start_server\" takes a command-shaped parameter \"command\" with no enum/pattern constraint. Free-form, model- or attacker-controlled arguments reaching a shell is the command-injection precondition.",
      "remediation": "Constrain the parameter (enum/pattern), or build the command from a fixed template with escaped args.",
      "location": {
        "kind": "tool",
        "name": "start_server",
        "field": "inputSchema.properties.command"
      },
      "owasp": "LLM05:2025 Improper Output Handling",
      "data": {
        "param": "command"
      }
    },
    {
      "ruleId": "MTC-CAP-005",
      "title": "Mutating tool \"verify_build\" declares no destructiveHint",
      "category": "hygiene",
      "severity": "low",
      "confidence": "heuristic",
      "description": "Tool \"verify_build\" 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": "verify_build"
      },
      "data": {
        "tags": [
          "code-exec"
        ]
      }
    },
    {
      "ruleId": "MTC-CAP-005",
      "title": "Mutating tool \"run_and_watch\" declares no destructiveHint",
      "category": "hygiene",
      "severity": "low",
      "confidence": "heuristic",
      "description": "Tool \"run_and_watch\" 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": "run_and_watch"
      },
      "data": {
        "tags": [
          "code-exec"
        ]
      }
    },
    {
      "ruleId": "MTC-CAP-005",
      "title": "Mutating tool \"verify_mcp\" declares no destructiveHint",
      "category": "hygiene",
      "severity": "low",
      "confidence": "heuristic",
      "description": "Tool \"verify_mcp\" 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": "verify_mcp"
      },
      "data": {
        "tags": [
          "code-exec"
        ]
      }
    },
    {
      "ruleId": "MTC-CAP-005",
      "title": "Mutating tool \"start_server\" declares no destructiveHint",
      "category": "hygiene",
      "severity": "low",
      "confidence": "heuristic",
      "description": "Tool \"start_server\" 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": "start_server"
      },
      "data": {
        "tags": [
          "code-exec"
        ]
      }
    }
  ],
  "toxicFlows": [],
  "capabilities": [
    {
      "tool": "get_errors",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "get_server_logs",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "get_runtime_status",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "clear_errors",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "acknowledge_error",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "watch_for_errors",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "get_build_errors",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "get_error_clusters",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "get_migration_status",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "get_audit_trail",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "get_session_insights",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "check_drift",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "get_session_impact",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "get_session_summary",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "get_perf_baseline",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "get_error_context",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "get_timeline",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "list_services",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "get_correlated_errors",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "get_new_errors",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "get_error_trends",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "correlate_with_diff",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "get_cross_layer_diagnosis",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "get_health_summary",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "verify_fix",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "verify_loop",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "get_prompt_context",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "verify_build",
      "tags": [
        "code-exec"
      ],
      "reasons": {
        "code-exec": [
          "parameter \"command\""
        ]
      }
    },
    {
      "tool": "wait_for_build",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "wait_for_event",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "run_and_watch",
      "tags": [
        "code-exec"
      ],
      "reasons": {
        "code-exec": [
          "parameter \"command\""
        ]
      }
    },
    {
      "tool": "get_requests",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "restart_server",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "get_infra_status",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "get_infra_detail",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "check_port",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "free_port",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "get_project_health",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "verify_mcp",
      "tags": [
        "code-exec"
      ],
      "reasons": {
        "code-exec": [
          "parameter \"command\""
        ]
      }
    },
    {
      "tool": "register_probe",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "list_probes",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "get_bug_patterns",
      "tags": [],
      "reasons": {}
    },
    {
      "tool": "start_server",
      "tags": [
        "code-exec"
      ],
      "reasons": {
        "code-exec": [
          "parameter \"command\""
        ]
      }
    },
    {
      "tool": "stop_server",
      "tags": [],
      "reasons": {}
    }
  ],
  "surfaceDigest": "6dc49d1c8f5517efa552fe0fc27913d921baed866e61e87eae2a55d320b20523",
  "stats": {
    "tools": 44,
    "prompts": 0,
    "resources": 0,
    "findingsBySeverity": {
      "critical": 0,
      "high": 5,
      "medium": 6,
      "low": 4,
      "info": 0
    }
  }
}