Skip to main content
Glama

GENESIS ProofRelay MCP Verifier

Plan replay rejection test

proofrelay.plan_replay_rejection_test
Read-onlyIdempotent

Return a deterministic replay rejection test plan and optionally classify caller-reported responses. Confirmation requires first 2xx without error, then 409 AND entitlement_replay (Stripe) or x402_payment_replay (x402). Missing, contradictory or unknown-protocol evidence is inconclusive. Does not redeem tokens or call paid endpoints.

Input Schema

NameRequiredDescriptionDefault
replay_testYes

Output Schema

NameRequiredDescriptionDefault

No arguments

Schema Changelog

Changes observed during successful MCP inspections.

  1. Changed5 schema fields changed
    • addedInput schema / $defs
      Added value: +{
      +  "ReplayObservation": {
      +    "additionalProperties": false,
      +    "properties": {
      +      "first_error": {
      +        "anyOf": [
      +          {
      +            "type": "string"
      +          },
      +          {
      +            "type": "null"
      +          }
      +        ]
      +      },
      +      "first_status": {
      +        "anyOf": [
      +          {
      +            "maximum": 599,
      +            "minimum": 100,
      +            "type": "integer"
      +          },
      +          {
      +            "type": "null"
      +          }
      +        ]
      +      },
      +      "second_error": {
      +        "anyOf": [
      +          {
      +            "type": "string"
      +          },
      +          {
      +            "type": "null"
      +          }
      +        ]
      +      },
      +      "second_status": {
      +        "anyOf": [
      +          {
      +            "maximum": 599,
      +            "minimum": 100,
      +            "type": "integer"
      +          },
      +          {
      +            "type": "null"
      +          }
      +        ]
      +      }
      +    },
      +    "type": "object"
      +  }
      +}
    • removedInput schema / properties / replay_test / $defs
      Removed value: -{
      -  "ReplayObservation": {
      -    "properties": {
      -      "first_error": {
      -        "anyOf": [
      -          {
      -            "type": "string"
      -          },
      -          {
      -            "type": "null"
      -          }
      -        ]
      -      },
      -      "first_status": {
      -        "anyOf": [
      -          {
      -            "type": "integer"
      -          },
      -          {
      -            "type": "null"
      -          }
      -        ]
      -      },
      -      "second_error": {
      -        "anyOf": [
      -          {
      -            "type": "string"
      -          },
      -          {
      -            "type": "null"
      -          }
      -        ]
      -      },
      -      "second_status": {
      -        "anyOf": [
      -          {
      -            "type": "integer"
      -          },
      -          {
      -            "type": "null"
      -          }
      -        ]
      -      }
      -    },
      -    "type": "object"
      -  }
      -}
    • addedInput schema / properties / replay_test / additionalProperties
      Added value: +false
    • changedInput schema / properties / replay_test / properties / bundle_hash / anyOf
      Previous value: -[
      -  {
      -    "type": "string"
      -  },
      -  {
      -    "type": "null"
      -  }
      -]New value: +[
      +  {
      +    "pattern": "^\\s*(?:sha256:)?[0-9a-fA-F]{64}\\s*$",
      +    "type": "string"
      +  },
      +  {
      +    "type": "null"
      +  }
      +]
    • changedInput schema / properties / replay_test / properties / entitlement_hash / anyOf
      Previous value: -[
      -  {
      -    "type": "string"
      -  },
      -  {
      -    "type": "null"
      -  }
      -]New value: +[
      +  {
      +    "pattern": "^\\s*(?:sha256:)?[0-9a-fA-F]{64}\\s*$",
      +    "type": "string"
      +  },
      +  {
      +    "type": "null"
      +  }
      +]
  2. Changed6 schema fields changed
    • removedInput schema / $defs
      Removed value: -{
      -  "ReplayObservation": {
      -    "description": "Optional observed first/replay responses for replay-test classification.",
      -    "properties": {
      -      "first_error": {
      -        "anyOf": [
      -          {
      -            "type": "string"
      -          },
      -          {
      -            "type": "null"
      -          }
      -        ],
      -        "default": null,
      -        "description": "Error code from first redemption.",
      -        "title": "First Error"
      -      },
      -      "first_status": {
      -        "anyOf": [
      -          {
      -            "type": "integer"
      -          },
      -          {
      -            "type": "null"
      -          }
      -        ],
      -        "default": null,
      -        "description": "HTTP status of first redemption.",
      -        "title": "First Status"
      -      },
      -      "second_error": {
      -        "anyOf": [
      -          {
      -            "type": "string"
      -          },
      -          {
      -            "type": "null"
      -          }
      -        ],
      -        "default": null,
      -        "description": "Error code from replay attempt.",
      -        "title": "Second Error"
      -      },
      -      "second_status": {
      -        "anyOf": [
      -          {
      -            "type": "integer"
      -          },
      -          {
      -            "type": "null"
      -          }
      -        ],
      -        "default": null,
      -        "description": "HTTP status of replay attempt.",
      -        "title": "Second Status"
      -      }
      -    },
      -    "title": "ReplayObservation",
      -    "type": "object"
      -  },
      -  "ReplayTestInput": {
      -    "description": "Replay rejection test target and optional observed responses.",
      -    "properties": {
      -      "bundle_hash": {
      -        "anyOf": [
      -          {
      -            "type": "string"
      -          },
      -          {
      -            "type": "null"
      -          }
      -        ],
      -        "default": null,
      -        "description": "Bundle hash used in redemption.",
      -        "title": "Bundle Hash"
      -      },
      -      "entitlement_hash": {
      -        "anyOf": [
      -          {
      -            "type": "string"
      -          },
      -          {
      -            "type": "null"
      -          }
      -        ],
      -        "default": null,
      -        "description": "Public-safe entitlement hash; never pass bearer tokens.",
      -        "title": "Entitlement Hash"
      -      },
      -      "observed": {
      -        "anyOf": [
      -          {
      -            "$ref": "#/$defs/ReplayObservation"
      -          },
      -          {
      -            "type": "null"
      -          }
      -        ],
      -        "default": null,
      -        "description": "Optional observed first and replay responses to classify."
      -      },
      -      "payment_protocol": {
      -        "default": "stripe_checkout_entitlement",
      -        "description": "Payment protocol whose replay behavior should be tested.",
      -        "enum": [
      -          "stripe_checkout_entitlement",
      -          "x402",
      -          "other"
      -        ],
      -        "title": "Payment Protocol",
      -        "type": "string"
      -      },
      -      "redeem_url": {
      -        "anyOf": [
      -          {
      -            "type": "string"
      -          },
      -          {
      -            "type": "null"
      -          }
      -        ],
      -        "default": null,
      -        "description": "Paid verification endpoint.",
      -        "title": "Redeem Url"
      -      }
      -    },
      -    "title": "ReplayTestInput",
      -    "type": "object"
      -  }
      -}
    • addedInput schema / properties / replay_test / $defs
      Added value: +{
      +  "ReplayObservation": {
      +    "properties": {
      +      "first_error": {
      +        "anyOf": [
      +          {
      +            "type": "string"
      +          },
      +          {
      +            "type": "null"
      +          }
      +        ]
      +      },
      +      "first_status": {
      +        "anyOf": [
      +          {
      +            "type": "integer"
      +          },
      +          {
      +            "type": "null"
      +          }
      +        ]
      +      },
      +      "second_error": {
      +        "anyOf": [
      +          {
      +            "type": "string"
      +          },
      +          {
      +            "type": "null"
      +          }
      +        ]
      +      },
      +      "second_status": {
      +        "anyOf": [
      +          {
      +            "type": "integer"
      +          },
      +          {
      +            "type": "null"
      +          }
      +        ]
      +      }
      +    },
      +    "type": "object"
      +  }
      +}
    • removedInput schema / properties / replay_test / $ref
      Removed value: -"#/$defs/ReplayTestInput"
    • addedInput schema / properties / replay_test / properties
      Added value: +{
      +  "bundle_hash": {
      +    "anyOf": [
      +      {
      +        "type": "string"
      +      },
      +      {
      +        "type": "null"
      +      }
      +    ]
      +  },
      +  "entitlement_hash": {
      +    "anyOf": [
      +      {
      +        "type": "string"
      +      },
      +      {
      +        "type": "null"
      +      }
      +    ]
      +  },
      +  "observed": {
      +    "anyOf": [
      +      {
      +        "$ref": "#/$defs/ReplayObservation"
      +      },
      +      {
      +        "type": "null"
      +      }
      +    ]
      +  },
      +  "payment_protocol": {
      +    "enum": [
      +      "stripe_checkout_entitlement",
      +      "x402",
      +      "other"
      +    ],
      +    "type": "string"
      +  },
      +  "redeem_url": {
      +    "anyOf": [
      +      {
      +        "type": "string"
      +      },
      +      {
      +        "type": "null"
      +      }
      +    ]
      +  }
      +}
    • addedInput schema / properties / replay_test / type
      Added value: +"object"
    • removedInput schema / title
      Removed value: -"plan_replay_rejection_testArguments"
  3. First observed

TDQS

A3.6/5.0
Behavior4/5

Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?

Annotations already cover the safety profile (readOnly, idempotent, non-destructive), and the description adds real value beyond them: output is deterministic, classification follows a stated rule, missing/contradictory/unknown-protocol evidence yields 'inconclusive', and the tool explicitly does not redeem tokens or hit paid endpoints. That is substantive behavioral context the annotations cannot convey.

Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.

Conciseness4/5

Is the description appropriately sized, front-loaded, and free of redundancy?

Four tight sentences with the primary output stated first, then the classification rule, then the failure mode, then the scope exclusion. Dense but no wasted phrasing; the only cost is unexplained jargon like 'entitlement_replay'.

Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.

Completeness3/5

Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?

An output schema exists, so return values need no explanation, and the description handles the classification logic and inconclusive case. But for a nested 5-field input object at 0% schema coverage, the hash and URL inputs go unexplained, which is a meaningful gap for an agent constructing the call.

Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.

Parameters3/5

Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?

Schema description coverage is 0% on a nested object, so the description must carry the load. It does explain the observed fields well by implication (first 2xx without error, then 409 plus a protocol-specific replay marker), but redeem_url, bundle_hash, entitlement_hash, and the payment_protocol enum values are only glancingly referenced ('Stripe'/'x402'), leaving several fields undocumented.

Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.

Purpose4/5

Does the description clearly state what the tool does and how it differs from similar tools?

The description opens with a specific verb and resource ('Return a deterministic replay rejection test plan') and adds a secondary mode ('optionally classify caller-reported responses'). It is clearly distinguishable from siblings like verify_bundle or normalize_payment_proof, though it never names an alternative explicitly.

Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.

Usage Guidelines3/5

Does the description explain when to use this tool, when not to, or what alternatives exist?

Usage is implied rather than stated: the confirmation criteria (first 2xx, then 409 with entitlement_replay/x402_payment_replay) tell the agent what evidence counts, and 'Does not redeem tokens or call paid endpoints' bounds the scope. However, there is no explicit when-to-use/when-not framing and no sibling is named as an alternative.

Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.

Try in Browser

Glama MCP Gateway

Add one secure layer between your agents and this server.

Resources