Skip to main content
Glama

Supported circuit equivalence

quantum_supported_circuit_equivalence_v1
Idempotent

Problem: Compare two RQM Circuit IR circuits within the supported verifier scope. Input: JSON with original circuit, candidate circuit. Result: equivalent, not-equivalent, or unsupported verdict, verification evidence, input.... Limits: Local software evidence only; 3 verification qubits; 65536 request bytes.

Input Schema

NameRequiredDescriptionDefault
requestYes
schema_versionYes
idempotency_keyYes
max_total_priceYes

Output Schema

NameRequiredDescriptionDefault

No arguments

Schema Changelog

Changes observed during successful MCP inspections.

  1. Changed1 schema field changed
    • changedOutput schema / anyOf
      Previous value: -[
      -  {
      -    "additionalProperties": false,
      -    "properties": {
      -      "capability_id": {
      -        "maxLength": 128,
      -        "minLength": 1,
      -        "pattern": "^[a-z0-9][a-z0-9._-]*$",
      -        "type": "string"
      -      },
      -      "capability_version": {
      -        "maxLength": 64,
      -        "minLength": 1,
      -        "type": "string"
      -      },
      -      "catalog_digest": {
      -        "pattern": "^[a-f0-9]{64}$",
      -        "type": "string"
      -      },
      -      "catalog_revision": {
      -        "maxLength": 128,
      -        "minLength": 1,
      -        "type": "string"
      -      },
      -      "commercial_state": {
      -        "maxLength": 64,
      -        "minLength": 1,
      -        "type": "string"
      -      },
      -      "duplicate": {
      -        "type": "boolean"
      -      },
      -      "job_id": {
      -        "maxLength": 256,
      -        "minLength": 1,
      -        "type": "string"
      -      },
      -      "payment_rail": {
      -        "const": "x402",
      -        "type": "string"
      -      },
      -      "price": {
      -        "pattern": "^(?:0|[1-9]\\d{0,13})(?:\\.\\d{1,6})?$",
      -        "type": "string"
      -      },
      -      "product": {
      -        "enum": [
      -          "wave",
      -          "quantum",
      -          "robotics"
      -        ],
      -        "type": "string"
      -      },
      -      "quote_id": {
      -        "format": "uuid",
      -        "pattern": "^([0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[1-8][0-9a-fA-F]{3}-[89abAB][0-9a-fA-F]{3}-[0-9a-fA-F]{12}|00000000-0000-0000-0000-000000000000|ffffffff-ffff-ffff-ffff-ffffffffffff)$",
      -        "type": "string"
      -      },
      -      "request_hash": {
      -        "pattern": "^[a-f0-9]{64}$",
      -        "type": "string"
      -      },
      -      "request_schema_version": {
      -        "maxLength": 128,
      -        "minLength": 1,
      -        "type": "string"
      -      },
      -      "reservation_id": {
      -        "format": "uuid",
      -        "pattern": "^([0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[1-8][0-9a-fA-F]{3}-[89abAB][0-9a-fA-F]{3}-[0-9a-fA-F]{12}|00000000-0000-0000-0000-000000000000|ffffffff-ffff-ffff-ffff-ffffffffffff)$",
      -        "type": "string"
      -      },
      -      "retrieval_token": {
      -        "pattern": "^rqm_retrieval_.*",
      -        "type": "string"
      -      },
      -      "retrieval_token_expires_in": {
      -        "exclusiveMinimum": 0,
      -        "maximum": 9007199254740991,
      -        "type": "integer"
      -      },
      -      "retrieval_url": {
      -        "format": "uri",
      -        "type": "string"
      -      },
      -      "schema_version": {
      -        "const": "rqm.jobs.buyer-job-run.v1",
      -        "type": "string"
      -      },
      -      "status": {
      -        "enum": [
      -          "queued",
      -          "running",
      -          "completed",
      -          "failed",
      -          "cancelled",
      -          "recovery"
      -        ],
      -        "type": "string"
      -      },
      -      "tariff_version": {
      -        "maxLength": 64,
      -        "minLength": 1,
      -        "type": "string"
      -      },
      -      "x402_settlement_id": {
      -        "format": "uuid",
      -        "pattern": "^([0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[1-8][0-9a-fA-F]{3}-[89abAB][0-9a-fA-F]{3}-[0-9a-fA-F]{12}|00000000-0000-0000-0000-000000000000|ffffffff-ffff-ffff-ffff-ffffffffffff)$",
      -        "type": "string"
      -      },
      -      "x402_transaction_id": {
      -        "maxLength": 256,
      -        "minLength": 1,
      -        "type": "string"
      -      }
      -    },
      -    "required": [
      -      "schema_version",
      -      "product",
      -      "capability_id",
      -      "capability_version",
      -      "request_schema_version",
      -      "catalog_revision",
      -      "catalog_digest",
      -      "request_hash",
      -      "job_id",
      -      "status",
      -      "quote_id",
      -      "reservation_id",
      -      "commercial_state",
      -      "payment_rail",
      -      "price",
      -      "tariff_version",
      -      "x402_settlement_id",
      -      "x402_transaction_id",
      -      "retrieval_token",
      -      "retrieval_token_expires_in",
      -      "duplicate"
      -    ],
      -    "type": "object"
      -  },
      -  {
      -    "additionalProperties": false,
      -    "properties": {
      -      "code": {
      -        "enum": [
      -          "AUTHENTICATION_REQUIRED",
      -          "MACHINE_AUTHENTICATION_FAILED",
      -          "MACHINE_AUTHORIZATION_FAILED",
      -          "ACCOUNT_CORE_UNAVAILABLE",
      -          "FEATURE_DISABLED",
      -          "QUOTE_NOT_ENTITLED",
      -          "QUOTE_IDEMPOTENCY_CONFLICT",
      -          "QUOTE_NOT_AVAILABLE",
      -          "QUOTE_REQUEST_INVALID",
      -          "QUOTE_MISMATCH",
      -          "PRICE_LIMIT_EXCEEDED",
      -          "RUNTIME_LIMIT_EXCEEDED",
      -          "ARTIFACT_PREFERENCE_UNAVAILABLE",
      -          "INSUFFICIENT_BALANCE",
      -          "RESERVATION_FAILED",
      -          "PRODUCT_REJECTED",
      -          "PRODUCT_UNAVAILABLE",
      -          "JOB_NOT_FOUND",
      -          "JOB_NOT_READY",
      -          "JOB_ACCESS_DENIED",
      -          "SETTLEMENT_FAILED",
      -          "FUNDING_UNAVAILABLE",
      -          "FUNDING_FAILED"
      -        ],
      -        "type": "string"
      -      },
      -      "message": {
      -        "type": "string"
      -      },
      -      "retryable": {
      -        "type": "boolean"
      -      },
      -      "schema_version": {
      -        "const": "rqm.jobs.error.v1",
      -        "type": "string"
      -      }
      -    },
      -    "required": [
      -      "schema_version",
      -      "code",
      -      "message",
      -      "retryable"
      -    ],
      -    "type": "object"
      -  }
      -]New value: +[
      +  {
      +    "additionalProperties": false,
      +    "properties": {
      +      "capability_id": {
      +        "maxLength": 128,
      +        "minLength": 1,
      +        "pattern": "^[a-z0-9][a-z0-9._-]*$",
      +        "type": "string"
      +      },
      +      "capability_version": {
      +        "maxLength": 64,
      +        "minLength": 1,
      +        "type": "string"
      +      },
      +      "catalog_digest": {
      +        "pattern": "^[a-f0-9]{64}$",
      +        "type": "string"
      +      },
      +      "catalog_revision": {
      +        "maxLength": 128,
      +        "minLength": 1,
      +        "type": "string"
      +      },
      +      "commercial_state": {
      +        "maxLength": 64,
      +        "minLength": 1,
      +        "type": "string"
      +      },
      +      "duplicate": {
      +        "type": "boolean"
      +      },
      +      "job_id": {
      +        "maxLength": 256,
      +        "minLength": 1,
      +        "type": "string"
      +      },
      +      "payment_rail": {
      +        "const": "x402",
      +        "type": "string"
      +      },
      +      "price": {
      +        "pattern": "^(?:0|[1-9]\\d{0,13})(?:\\.\\d{1,6})?$",
      +        "type": "string"
      +      },
      +      "product": {
      +        "enum": [
      +          "wave",
      +          "quantum",
      +          "robotics"
      +        ],
      +        "type": "string"
      +      },
      +      "quote_id": {
      +        "format": "uuid",
      +        "pattern": "^([0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[1-8][0-9a-fA-F]{3}-[89abAB][0-9a-fA-F]{3}-[0-9a-fA-F]{12}|00000000-0000-0000-0000-000000000000|ffffffff-ffff-ffff-ffff-ffffffffffff)$",
      +        "type": "string"
      +      },
      +      "request_hash": {
      +        "pattern": "^[a-f0-9]{64}$",
      +        "type": "string"
      +      },
      +      "request_schema_version": {
      +        "maxLength": 128,
      +        "minLength": 1,
      +        "type": "string"
      +      },
      +      "reservation_id": {
      +        "format": "uuid",
      +        "pattern": "^([0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[1-8][0-9a-fA-F]{3}-[89abAB][0-9a-fA-F]{3}-[0-9a-fA-F]{12}|00000000-0000-0000-0000-000000000000|ffffffff-ffff-ffff-ffff-ffffffffffff)$",
      +        "type": "string"
      +      },
      +      "retrieval_token": {
      +        "format": "starts_with",
      +        "pattern": "^rqm_retrieval_.*",
      +        "type": "string"
      +      },
      +      "retrieval_token_expires_in": {
      +        "exclusiveMinimum": 0,
      +        "maximum": 9007199254740991,
      +        "type": "integer"
      +      },
      +      "retrieval_url": {
      +        "format": "uri",
      +        "type": "string"
      +      },
      +      "schema_version": {
      +        "const": "rqm.jobs.buyer-job-run.v1",
      +        "type": "string"
      +      },
      +      "status": {
      +        "enum": [
      +          "queued",
      +          "running",
      +          "completed",
      +          "failed",
      +          "cancelled",
      +          "recovery"
      +        ],
      +        "type": "string"
      +      },
      +      "tariff_version": {
      +        "maxLength": 64,
      +        "minLength": 1,
      +        "type": "string"
      +      },
      +      "x402_settlement_id": {
      +        "format": "uuid",
      +        "pattern": "^([0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[1-8][0-9a-fA-F]{3}-[89abAB][0-9a-fA-F]{3}-[0-9a-fA-F]{12}|00000000-0000-0000-0000-000000000000|ffffffff-ffff-ffff-ffff-ffffffffffff)$",
      +        "type": "string"
      +      },
      +      "x402_transaction_id": {
      +        "maxLength": 256,
      +        "minLength": 1,
      +        "type": "string"
      +      }
      +    },
      +    "required": [
      +      "schema_version",
      +      "product",
      +      "capability_id",
      +      "capability_version",
      +      "request_schema_version",
      +      "catalog_revision",
      +      "catalog_digest",
      +      "request_hash",
      +      "job_id",
      +      "status",
      +      "quote_id",
      +      "reservation_id",
      +      "commercial_state",
      +      "payment_rail",
      +      "price",
      +      "tariff_version",
      +      "x402_settlement_id",
      +      "x402_transaction_id",
      +      "retrieval_token",
      +      "retrieval_token_expires_in",
      +      "duplicate"
      +    ],
      +    "type": "object"
      +  },
      +  {
      +    "additionalProperties": false,
      +    "properties": {
      +      "code": {
      +        "enum": [
      +          "AUTHENTICATION_REQUIRED",
      +          "MACHINE_AUTHENTICATION_FAILED",
      +          "MACHINE_AUTHORIZATION_FAILED",
      +          "ACCOUNT_CORE_UNAVAILABLE",
      +          "FEATURE_DISABLED",
      +          "QUOTE_NOT_ENTITLED",
      +          "QUOTE_IDEMPOTENCY_CONFLICT",
      +          "QUOTE_NOT_AVAILABLE",
      +          "QUOTE_REQUEST_INVALID",
      +          "QUOTE_MISMATCH",
      +          "PRICE_LIMIT_EXCEEDED",
      +          "RUNTIME_LIMIT_EXCEEDED",
      +          "ARTIFACT_PREFERENCE_UNAVAILABLE",
      +          "INSUFFICIENT_BALANCE",
      +          "RESERVATION_FAILED",
      +          "PRODUCT_REJECTED",
      +          "PRODUCT_UNAVAILABLE",
      +          "JOB_NOT_FOUND",
      +          "JOB_NOT_READY",
      +          "JOB_ACCESS_DENIED",
      +          "SETTLEMENT_FAILED",
      +          "FUNDING_UNAVAILABLE",
      +          "FUNDING_FAILED"
      +        ],
      +        "type": "string"
      +      },
      +      "message": {
      +        "type": "string"
      +      },
      +      "retryable": {
      +        "type": "boolean"
      +      },
      +      "schema_version": {
      +        "const": "rqm.jobs.error.v1",
      +        "type": "string"
      +      }
      +    },
      +    "required": [
      +      "schema_version",
      +      "code",
      +      "message",
      +      "retryable"
      +    ],
      +    "type": "object"
      +  }
      +]
  2. First observed

TDQS

A4/5.0
Behavior5/5

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

The description adds crucial runtime limitations and operational characteristics that are not captured in the annotations or schema, such as the '3 verification qubits' limit and the '65536 request bytes' limit. This gives the agent concrete knowledge of how the function behaves in practice.

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

Conciseness5/5

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

The structure (Problem -> Input -> Result -> Limits) is highly efficient and immediately actionable. Every clause adds necessary information—whether defining the task, the payload, or technical constraints—making it exceptionally concise.

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

Completeness4/5

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

Given the highly complex, nested job-request schema and the specific quantum domain, the description manages to cover the fundamental requirements: *what* is compared and *how* it is validated (limits). It is complete enough to allow a highly knowledgeable agent to attempt invocation, despite the lack of detailed parameter definitions.

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

Parameters2/5

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

Despite the description mentioning the input of 'original circuit' and 'candidate circuit,' the schema description coverage is 0%. The description does not provide meaningful semantics or guidance on the required job metadata parameters (like `idempotency_key` or `max_total_price`), which are critical for a successful invocation.

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 clearly defines the core action as comparing two RQM Circuit IR circuits and specifies the possible outcomes (equivalent, not-equivalent, or unsupported verdict). While the description relies on the tool name for full sibling differentiation, it provides excellent internal context regarding input types and result formats.

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

Usage Guidelines4/5

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

The tool explicitly sets boundaries for usage by defining its scope ('within the supported verifier scope') and necessary constraints. This guides the agent on exactly when and under what conditions this tool is appropriate for quantum circuit verification.

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