Formulon — 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": "@libraz/formulon-mcp",
"source": {
"kind": "package",
"origin": "@libraz/formulon-mcp"
},
"server": {
"name": "@libraz/formulon-mcp"
}
},
"grade": "A",
"score": {
"score": 94,
"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": "source",
"label": "publisher verification (provenance) — cryptographic build provenance ties the artifact to its source",
"appliedPenalty": 0
},
{
"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": [
"ingests untrusted external content (a prompt-injection entry point)",
"can execute shell commands or code"
],
"tags": [
"code-exec",
"untrusted-input"
]
},
"coverage": {
"level": "source",
"inputs": {
"toolSurface": true,
"implementationSource": true,
"packageMetadata": true,
"liveTransport": false
},
"caveats": [
"Tools were statically extracted from the published source (37 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 \"formulon_eval_formula\" exposes command/code execution",
"category": "permissions",
"severity": "high",
"confidence": "strong",
"description": "Tool \"formulon_eval_formula\" appears to run shell commands or evaluate code (keyword \"eval\" in tool name). 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": "formulon_eval_formula"
},
"owasp": "LLM05:2025 Improper Output Handling",
"data": {
"tags": [
"code-exec"
]
}
},
{
"ruleId": "MTC-FLOW-005",
"title": "Untrusted input can drive an external action",
"category": "exfiltration",
"severity": "medium",
"confidence": "strong",
"description": "Untrusted-input tools ([formulon_trace]) co-exist with external-action tools ([formulon_eval_formula]). A prompt injection could cause unwanted external actions, though no direct sensitive-data leak path was found.",
"remediation": "Require confirmation for state-changing/egress actions triggered after processing untrusted content.",
"location": {
"kind": "flow",
"name": "formulon_trace → formulon_eval_formula"
},
"evidence": "untrusted [formulon_trace] → sinks [formulon_eval_formula]",
"owasp": "LLM06:2025 Excessive Agency",
"references": [],
"data": {
"untrusted": [
"formulon_trace"
],
"sinks": [
"formulon_eval_formula"
]
}
},
{
"ruleId": "MTC-CAP-005",
"title": "Mutating tool \"formulon_eval_formula\" declares no destructiveHint",
"category": "hygiene",
"severity": "low",
"confidence": "heuristic",
"description": "Tool \"formulon_eval_formula\" 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": "formulon_eval_formula"
},
"data": {
"tags": [
"code-exec"
]
}
}
],
"toxicFlows": [
{
"id": "flow-1",
"severity": "medium",
"confidence": "strong",
"untrustedInput": [
"formulon_trace"
],
"sensitiveSource": [],
"externalSink": [
"formulon_eval_formula"
],
"selfContained": false,
"description": "Untrusted input can drive an external action even though no sensitive source is exposed."
}
],
"capabilities": [
{
"tool": "formulon_version",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_eval_formula",
"tags": [
"code-exec"
],
"reasons": {
"code-exec": [
"keyword \"eval\" in tool name"
]
}
},
{
"tool": "formulon_open_workbook",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_list_sessions",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_close_workbook",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_inspect_session",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_recalc_session",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_find_cells",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_replace_cells",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_inspect_layout",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_detect_regions",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_analyze_workbook",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_set_cells",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_set_range",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_sheet_operation",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_set_defined_name",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_edit_structure",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_set_sheet_view",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_get_cell",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_get_range",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_save_session",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_session_metadata",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_merge_operation",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_comment_operation",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_hyperlink_operation",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_validation_operation",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_conditional_format_operation",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_trace",
"tags": [
"untrusted-input"
],
"reasons": {
"untrusted-input": [
"keyword \"read_pr\""
]
}
},
{
"tool": "formulon_dimension_operation",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_build_document",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_style_range",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_default_font",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_print_settings",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_function_lookup",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_workbook_call",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_inspect_workbook",
"tags": [],
"reasons": {}
},
{
"tool": "formulon_update_workbook",
"tags": [],
"reasons": {}
}
],
"surfaceDigest": "d16a8ad6474ce5e46fd4f90f97caf333c26c8d3677a75fbeb2df488560824c07",
"stats": {
"tools": 37,
"prompts": 0,
"resources": 0,
"findingsBySeverity": {
"critical": 0,
"high": 1,
"medium": 1,
"low": 1,
"info": 0
}
}
}