mcp tool input coverage audit derived

{
  "input": {
    "body": {
      "calls": [
        {
          "name": "list_orders",
          "arguments": {
            "tenant_id": "acme"
          }
        },
        {
          "name": "list_orders",
          "arguments": {
            "page": 2,
            "tenant_id": "acme"
          }
        },
        {
          "name": "list_orders",
          "arguments": {
            "page": 3,
            "tenant_id": "acme"
          }
        },
        {
          "name": "get_order",
          "arguments": {
            "order_id": "o-1"
          }
        },
        {
          "method": "tools/call",
          "params": {
            "name": "get_order",
            "arguments": {
              "order_id": "o-2"
            }
          }
        },
        {
          "name": "get_order",
          "arguments": {
            "id": "o-3"
          }
        },
        {
          "name": "archive_order",
          "arguments": {
            "order_id": "o-4"
          }
        }
      ],
      "toolset": {
        "tools": [
          {
            "name": "list_orders",
            "annotations": {
              "readOnlyHint": true,
              "idempotentHint": true
            },
            "description": "List orders for a tenant, newest first, with optional paging. Returns only orders the caller is entitled to see.",
            "inputSchema": {
              "type": "object",
              "required": [
                "tenant_id"
              ],
              "properties": {
                "page": {
                  "type": "integer",
                  "minimum": 1,
                  "description": "Page number, starting at 1."
                },
                "status": {
                  "enum": [
                    "open",
                    "shipped"
                  ],
                  "type": "string",
                  "description": "Restrict to one status."
                },
                "tenant_id": {
                  "type": "string",
                  "description": "The tenant whose orders to list."
                }
              }
            },
            "outputSchema": {
              "type": "object",
              "required": [
                "items"
              ],
              "properties": {
                "items": {
                  "type": "array"
                },
                "next_page": {
                  "type": [
                    "integer",
                    "null"
                  ]
                }
              }
            }
          },
          {
            "name": "get_order",
            "annotations": {
              "readOnlyHint": true
            },
            "description": "Fetch one order by its identifier, including line items and the current fulfilment state.",
            "inputSchema": {
              "type": "object",
              "required": [
                "order_id"
              ],
              "properties": {
                "order_id": {
                  "type": "string",
                  "description": "The order identifier."
                }
              }
            },
            "outputSchema": {
              "type": "object",
              "required": [
                "id"
              ],
              "properties": {
                "id": {
                  "type": "string"
                },
                "total": {
                  "type": "number"
                }
              }
            }
          },
          {
            "name": "cancel_order",
            "annotations": {
              "idempotentHint": false,
              "destructiveHint": true
            },
            "description": "Cancel an order that has not yet shipped. This cannot be undone and will issue a refund where one is due.",
            "inputSchema": {
              "type": "object",
              "required": [
                "order_id"
              ],
              "properties": {
                "reason": {
                  "type": "string",
                  "description": "Why it is being cancelled."
                },
                "order_id": {
                  "type": "string",
                  "description": "The order to cancel."
                }
              }
            }
          }
        ],
        "serverInfo": {
          "name": "orders-mcp",
          "version": "1.3.0"
        },
        "capabilities": {
          "tools": {
            "listChanged": true
          },
          "resources": {
            "subscribe": true
          }
        }
      }
    },
    "type": "http",
    "method": "POST",
    "bodyType": "json"
  },
  "output": {
    "type": "json",
    "example": {
      "limits": {
        "maxCalls": 1000,
        "maxTools": 400,
        "maxServers": 20,
        "maxFindings": 500,
        "confusableOverlap": 0.6
      },
      "passed": false,
      "complete": true,
      "coverage": [
        {
          "tool": "get_order",
          "calls": 3,
          "constant_arguments": [
            "id"
          ],
          "used_argument_count": 2,
          "never_used_arguments": [],
          "declared_argument_count": 1,
          "undeclared_arguments_used": [
            "id"
          ]
        },
        {
          "tool": "list_orders",
          "calls": 3,
          "constant_arguments": [
            "tenant_id"
          ],
          "used_argument_count": 2,
          "never_used_arguments": [
            "status"
          ],
          "declared_argument_count": 3,
          "undeclared_arguments_used": []
        },
        {
          "tool": "cancel_order",
          "calls": 0,
          "constant_arguments": [],
          "used_argument_count": 0,
          "never_used_arguments": [
            "order_id",
            "reason"
          ],
          "declared_argument_count": 2,
          "undeclared_arguments_used": []
        }
      ],
      "findings": [
        {
          "code": "CALL_TO_UNDECLARED_TOOL",
          "tool": "archive_order",
          "detail": "archive_order is called in the transcript but is not in the toolset, so either the manifest is stale or the call is wrong."
        },
        {
          "code": "ARGUMENT_NEVER_USED",
          "tool": "list_orders",
          "detail": "list_orders: status is declared and never sent across 3 call(s).",
          "argument": "status"
        },
        {
          "code": "UNDECLARED_ARGUMENT_SENT",
          "tool": "get_order",
          "detail": "get_order: calls send id, which the tool does not declare.",
          "argument": "id"
        }
      ],
      "request_id": "example-request",
      "service_id": "mcp_tool_input_coverage_audit",
      "assumptions": [
        "The transcript supplied stands in for real usage. A tool unused here may still be used elsewhere, which is why the finding says it was never called in this transcript rather than that it is dead.",
        "An argument with one distinct value across more than two calls is reported as constant, which usually means it is not really a parameter."
      ],
      "limitations": [
        "Observed usage over the calls supplied. Nothing is executed and no server is contacted.",
        "passed is true only when every call was read, every called tool was declared, and every declared argument was exercised."
      ],
      "observed_at": "2026-10-02T00:00:00.000Z",
      "not_examined": [],
      "tools_called": 2,
      "finding_count": 4,
      "read_call_count": 7,
      "service_version": "1.0.0",
      "findings_by_code": {
        "TOOL_NEVER_CALLED": 1,
        "ARGUMENT_NEVER_USED": 1,
        "CALL_TO_UNDECLARED_TOOL": 1,
        "UNDECLARED_ARGUMENT_SENT": 1
      },
      "tools_never_called": 1,
      "declared_tool_count": 3,
      "supplied_call_count": 7,
      "calls_to_undeclared_tools": 1
    }
  }
}