Skip to main content
Glama

x402_verify_polymarket_basket

Verifies Polymarket basket solvency and Dutch-book net edge from outcome ask prices, fees, and payouts to detect arbitrage or insolvency risks.

Instructions

Paid tool (20000 Base USDC atomic): Formal verification of Polymarket NegRisk / Conditional Token solvency and Dutch-book net edge.

Input Schema

NameRequiredDescriptionDefault
fee_bpsNo
num_outcomesNo
paymentHeaderNox402 Base64 or JSON payment authorization string (if not in _meta.x402Payment)
payout_per_shareNo
outcome_ask_pricesYesBest ask prices across all basket outcomes
convert_no_subset_sizeNo
custom_conversion_formulaNo

Schema Changelog

Changes observed during successful MCP inspections.

  1. First observedv1.0.0

TDQS

B3/5.0
Behavior3/5

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

With no annotations, the description carries the full behavioral burden. It usefully discloses the price of 20000 Base USDC atomic, and the verification framing implies a computational/read-only operation, but it does not explicitly state read-only status, side effects, permissions, or return behavior.

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 description is a single front-loaded sentence with no wasted wording. Payment cost and domain purpose are both stated immediately.

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

Completeness2/5

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

For a paid tool with seven parameters, no annotations, no output schema, and low schema description coverage, the description is too thin. It identifies the domain but leaves out usage guidance, parameter meaning, and behavioral details an agent would need to invoke it confidently.

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?

Schema description coverage is only 29%, so the description should compensate for the undocumented parameters, but it provides no explanation of fee_bps, payout_per_share, convert_no_subset_size, or custom_conversion_formula. The domain terms loosely relate to the basket inputs but do not add practical parameter semantics.

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 names a specific verification domain: Polymarket NegRisk / Conditional Token solvency and Dutch-book net edge. That distinguishes it from sibling verification tools such as vault rounding or ZK/bitvec verification, although it phrases the action as a noun phrase rather than an explicit verb.

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

Usage Guidelines2/5

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

The description states that the tool is paid but gives no guidance on when to use it versus the sibling verification tools. It does not mention prerequisites, when-not-to-use cases, or how the required basket inputs should be prepared.

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