verify_superdense
QC-017 Superdense coding. decoded 2 bits must equal sent 2 bits. Floats refused.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| bits | No | ||
| decoded | No |
QC-017 Superdense coding. decoded 2 bits must equal sent 2 bits. Floats refused.
| Name | Required | Description | Default |
|---|---|---|---|
| bits | No | ||
| decoded | No |
Changes observed during successful MCP inspections.
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
Since no annotations are provided, the description carries the behavioral disclosure burden. It does add useful behavioral traits: the decoded two bits must match the sent two bits, and float inputs are refused. However, it is silent on return format, behavior on mismatch, and validation beyond floats, so transparency is partial.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
The description is very short and front-loads the key criterion; each clause earns its place. The 'QC-017' prefix is mildly extraneous, and the fragment style is terse, but there is no filler or redundancy.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
For a tool with no annotations, no output schema, and a bare input schema, this is incomplete. An agent still does not know what response to expect, whether a mismatch returns false or raises an error, or whether both parameters are mandatory, and the description does not distinguish it from the many sibling verify_* tools beyond its protocol identifier.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
With 0% schema coverage, the description must explain the parameters. It maps 'sent 2 bits' to the bits parameter and 'decoded' to decoded, and implies both are 2-bit strings. It does not explicitly name the parameters, define the allowed bit-string format, or state that both are required, so it only partially compensates for the bare schema.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description identifies the resource (superdense coding) and the verification criterion (decoded 2 bits must equal sent 2 bits), so a caller can tell it apart from other verify_* sibling tools. It is not a full sentence with an explicit 'verifies/checks' verb, and 'QC-017' adds no operational meaning, but the intent is unambiguous from name plus criterion.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
No guidance is given about when to choose this tool instead of sibling verifiers such as verify_teleport or verify_bell_measurement. The protocol name implies the use case (superdense coding), but there is no explicit condition, prerequisite, or alternative routing.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
Add one secure layer between your agents and this server.