Openconstraint — 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.
{
"tool": {
"name": "mcptrustchecker",
"version": "1.13.0",
"methodologyVersion": "mcptrustchecker-1.13"
},
"target": {
"id": "openconstraint-mcp",
"source": {
"kind": "package",
"origin": "openconstraint-mcp"
},
"server": {
"name": "openconstraint-mcp"
}
},
"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 execute shell commands or code"
],
"tags": [
"code-exec"
]
},
"coverage": {
"level": "source",
"inputs": {
"toolSurface": true,
"implementationSource": true,
"packageMetadata": true,
"liveTransport": false
},
"caveats": [
"Tools were statically extracted from the published source (2 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-SRC-002",
"title": "Shell/command execution in server code (src/openconstraint_mcp/minizinc/core.py)",
"category": "permissions",
"severity": "high",
"confidence": "strong",
"description": "In the server's implementation (`src/openconstraint_mcp/minizinc/core.py:151`): 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": "src/openconstraint_mcp/minizinc/core.py"
},
"evidence": "ry: completed = subprocess.run( [str(binary), \"--solvers-json\"], capture_output=True,",
"owasp": "LLM05:2025 Improper Output Handling",
"data": {
"rule": "MTC-SRC-002",
"file": "src/openconstraint_mcp/minizinc/core.py",
"line": 151,
"nonRuntime": false
}
},
{
"ruleId": "MTC-SRC-002",
"title": "Shell/command execution in server code (src/openconstraint_mcp/protocol_text/descriptions.py)",
"category": "permissions",
"severity": "high",
"confidence": "strong",
"description": "In the server's implementation (`src/openconstraint_mcp/protocol_text/descriptions.py:63`): 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": "src/openconstraint_mcp/protocol_text/descriptions.py"
},
"evidence": "with no solution and a `child_process_error` diagnostic \" \"naming the field.\" ) _SAVE_TARGET_DIR_RULE = ( \"`tar",
"owasp": "LLM05:2025 Improper Output Handling",
"data": {
"rule": "MTC-SRC-002",
"file": "src/openconstraint_mcp/protocol_text/descriptions.py",
"line": 63,
"nonRuntime": false
}
},
{
"ruleId": "MTC-SRC-002",
"title": "Shell/command execution in server code (src/openconstraint_mcp/protocol_text/prompts.py)",
"category": "permissions",
"severity": "high",
"confidence": "strong",
"description": "In the server's implementation (`src/openconstraint_mcp/protocol_text/prompts.py:35`): 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": "src/openconstraint_mcp/protocol_text/prompts.py"
},
"evidence": "with no solution and a `child_process_error` diagnostic naming the offending field. On a TIMEOUT the status stays `\"ti",
"owasp": "LLM05:2025 Improper Output Handling",
"data": {
"rule": "MTC-SRC-002",
"file": "src/openconstraint_mcp/protocol_text/prompts.py",
"line": 35,
"nonRuntime": false
}
},
{
"ruleId": "MTC-SRC-002",
"title": "Shell/command execution in server code (src/openconstraint_mcp/pyexec/core.py)",
"category": "permissions",
"severity": "high",
"confidence": "strong",
"description": "In the server's implementation (`src/openconstraint_mcp/pyexec/core.py:26`): 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": "src/openconstraint_mcp/pyexec/core.py"
},
"evidence": "th no incumbent and a ``child_process_error`` diagnostic naming the offending ``field``; on a timeout the status stays `",
"owasp": "LLM05:2025 Improper Output Handling",
"data": {
"rule": "MTC-SRC-002",
"file": "src/openconstraint_mcp/pyexec/core.py",
"line": 26,
"nonRuntime": false
}
},
{
"ruleId": "MTC-SRC-002",
"title": "Shell/command execution in server code (src/openconstraint_mcp/pyexec/diagnostics.py)",
"category": "permissions",
"severity": "high",
"confidence": "strong",
"description": "In the server's implementation (`src/openconstraint_mcp/pyexec/diagnostics.py:36`): 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": "src/openconstraint_mcp/pyexec/diagnostics.py"
},
"evidence": "ing/empty solution is ``child_process_error`` (valid JSON that violates the solution contract save/job/experiment fl",
"owasp": "LLM05:2025 Improper Output Handling",
"data": {
"rule": "MTC-SRC-002",
"file": "src/openconstraint_mcp/pyexec/diagnostics.py",
"line": 36,
"nonRuntime": false
}
},
{
"ruleId": "MTC-SRC-002",
"title": "Shell/command execution in server code (src/openconstraint_mcp/runtime_install/archive.py)",
"category": "permissions",
"severity": "high",
"confidence": "strong",
"description": "In the server's implementation (`src/openconstraint_mcp/runtime_install/archive.py:86`): 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": "src/openconstraint_mcp/runtime_install/archive.py"
},
"evidence": "try: subprocess.run( [\"taskkill\", \"/F\", \"/T\", \"/PID\", str(pid)], capture_output=True,",
"owasp": "LLM05:2025 Improper Output Handling",
"data": {
"rule": "MTC-SRC-002",
"file": "src/openconstraint_mcp/runtime_install/archive.py",
"line": 86,
"nonRuntime": false
}
},
{
"ruleId": "MTC-SRC-002",
"title": "Shell/command execution in server code (src/openconstraint_mcp/runtime_install/core.py)",
"category": "permissions",
"severity": "high",
"confidence": "strong",
"description": "In the server's implementation (`src/openconstraint_mcp/runtime_install/core.py:55`): 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": "src/openconstraint_mcp/runtime_install/core.py"
},
"evidence": "ry: completed = subprocess.run( [str(binary), \"--version\"], capture_output=True,",
"owasp": "LLM05:2025 Improper Output Handling",
"data": {
"rule": "MTC-SRC-002",
"file": "src/openconstraint_mcp/runtime_install/core.py",
"line": 55,
"nonRuntime": false
}
},
{
"ruleId": "MTC-SRC-002",
"title": "Shell/command execution in server code (src/openconstraint_mcp/schemas/diagnostics.py)",
"category": "permissions",
"severity": "high",
"confidence": "strong",
"description": "In the server's implementation (`src/openconstraint_mcp/schemas/diagnostics.py:48`): 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": "src/openconstraint_mcp/schemas/diagnostics.py"
},
"evidence": "/ output problems \"child_process_error\", \"output_truncated\", # save / verification \"invalid_save_target",
"owasp": "LLM05:2025 Improper Output Handling",
"data": {
"rule": "MTC-SRC-002",
"file": "src/openconstraint_mcp/schemas/diagnostics.py",
"line": 48,
"nonRuntime": false
}
},
{
"ruleId": "MTC-SRC-002",
"title": "Shell/command execution in server code (src/openconstraint_mcp/shared/proc.py)",
"category": "permissions",
"severity": "high",
"confidence": "strong",
"description": "In the server's implementation (`src/openconstraint_mcp/shared/proc.py:65`): 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": "src/openconstraint_mcp/shared/proc.py"
},
"evidence": "e``. \"\"\" return subprocess.Popen( cmd, start_new_session=START_NEW_SESSION, creationflag",
"owasp": "LLM05:2025 Improper Output Handling",
"data": {
"rule": "MTC-SRC-002",
"file": "src/openconstraint_mcp/shared/proc.py",
"line": 65,
"nonRuntime": false
}
},
{
"ruleId": "MTC-SUP-012",
"title": "Package has no license",
"category": "hygiene",
"severity": "info",
"confidence": "strong",
"description": "\"openconstraint-mcp\" has no declared license. This is a legal/reuse concern, not a security finding.",
"location": {
"kind": "package",
"name": "openconstraint-mcp"
}
}
],
"toxicFlows": [],
"capabilities": [
{
"tool": "check_runtime",
"tags": [],
"reasons": {}
},
{
"tool": "list_cpsat_python_jobs",
"tags": [],
"reasons": {}
}
],
"surfaceDigest": "729d779a9ffed71985586dc1681d6a64b67a6e2e822dfd9e663c155e430abb2e",
"stats": {
"tools": 2,
"prompts": 0,
"resources": 0,
"findingsBySeverity": {
"critical": 0,
"high": 9,
"medium": 0,
"low": 0,
"info": 1
}
}
}