Plan exact scenarios, routes and agent coordination
Compare finite loss and inventory scenarios, optimize supplied route matrices, and validate records for budgets, approvals, handoffs and hypothetical scheduling.
How to choose
Use these operations to check explicit records under their named profiles. An approval-scope check examines supplied assertions; the calling agent still needs independent authorization.
No inferred forecasts, maps, dispatch, procurement, permission grant, persistent coordination, live reservation, actual message delivery or exactly-once execution guarantee.
Validate a declared deterministic state machine and replay a supplied event trace. Reports ambiguous transitions, unreachable states, first impossible event, expected-state mismatches and final acceptance. No executable guards, actions, or authorization decisions.
Choose for: Audit an agent workflow event trace against allowed state transitions Find impossible transitions and incomplete terminal workflow states
Outside this profile: Formal verification of arbitrary programs or hidden state Interpreting natural-language policy or granting real-world permissions
Inspect supplied parsed JSON-RPC 2.0 requests/responses for envelope errors, notification replies, typed-ID collisions, missing responses and unmatched results. Bounded safe-integer-ID correlation profile; no transport, method execution, schema validation, or full interoperability certification.
Choose for: Correlate JSON-RPC batch replies with agent tool requests Detect missing tool responses, duplicate request IDs and replies to notifications
Outside this profile: MCP lifecycle/authentication verification or tool invocation Raw JSON syntax validation or fractional/unsafe numeric ID correlation
Check exact quotations against supplied source text, including optional UTF-16 start offsets. Returns source SHA-256 fingerprints, occurrence counts, bounded offsets and ambiguity/mismatch findings. Unique scans are capped at 4 million characters and 200,000 located occurrences. Establishes literal correspondence only, never truth, entailment, authenticity or source credibility.
Choose for: Verify agent-generated quotations against supplied source passages Locate exact quote offsets and detect ambiguous repeated evidence
Outside this profile: Fact checking, semantic support, paraphrase matching or source authenticity Fetching cited URLs or verifying unseen documents
Audit an explicit claim-to-evidence-to-source map for missing required citations, orphan references, duplicate links and unused evidence. Coverage counts valid structural links only; caller declares which claims need citations. No claim extraction, truth scoring or semantic entailment assessment.
Choose for: Audit citation coverage of an agent report with explicit claim IDs Find orphan evidence references and unsupported-by-links required claims
Outside this profile: Deciding whether evidence proves a claim Automatically extracting every factual claim from prose
Compare a supplied text-file manifest with supplied UTF-8 contents: byte sizes, SHA-256 digests, missing/extra/duplicate paths and bounded portable-path collisions. Does not read a filesystem, decode archives, trust an unsigned manifest or verify publisher identity.
Choose for: Verify an agent artifact handoff against expected file hashes and sizes Detect missing files, duplicate paths and portable filename collisions
Outside this profile: Signature verification, malware detection or archive extraction Reading remote or local files, binary contents, or complete cross-platform filename validation
Produce a deterministic hypothetical retry wait plan from explicit replay-safety assertions, HTTP status, backoff limits and waiting budget. Supports delta-seconds/IMF-fixdate Retry-After with explicit reference time. Stops for payment uncertainty and unknown/unsafe replay; never sends requests or authorizes repayment.
Choose for: Calculate capped retry backoff under a fixed waiting budget Respect Retry-After without clipping the server's minimum wait
Outside this profile: Automatically retrying payment uncertainty or assuming idempotency Live scheduling, random jitter, traffic synchronization prevention, or complete HTTP-date parsing
Greedily select exact source spans by required status, priority and stable ID within caller-supplied integer cost units. Keeps provenance, rejects broken spans, protects required candidates and deduplicates optional identical text. Does not tokenize, summarize, infer semantic relevance, or guarantee an optimal packing.
Choose for: Pack RAG evidence spans into a caller-defined context budget Keep mandatory excerpts while removing duplicate optional context
Outside this profile: Tokenizer-accurate model limits or semantic retrieval Optimal knapsack solutions or verifying caller-provided cost estimates
Check a supplied multi-agent log against vector clocks, actor sequence continuity, baseline history and explicit parents; report unobserved dependencies and concurrent-clock pairs. Does not execute or authenticate history.
Choose for: Detect missing causal history in a multi-agent event log Check vector clock regressions and out-of-order agent messages before offline replay
Outside this profile: Executing tools, sending messages, retrying effects, restoring state, or contacting live services Authenticating evidence, verifying signatures or identities, granting permission, or enforcing authorization Inferring facts omitted from the supplied artifact snapshot or guaranteeing exactly-once execution
Align two supplied execution traces by stable step ID, distinguish reordered/missing/extra steps and compare operation, canonical JSON requests, outcomes and result presence. Returns digest evidence without executing a replay.
Choose for: Locate deterministic replay divergence between recorded agent runs Compare step-level requests and outputs after a tool or prompt upgrade
Outside this profile: Executing tools, sending messages, retrying effects, restoring state, or contacting live services Authenticating evidence, verifying signatures or identities, granting permission, or enforcing authorization Inferring facts omitted from the supplied artifact snapshot or guaranteeing exactly-once execution
Group supplied attempts by exact scope and idempotency key; find conflicting operation/request or success-result fingerprints and unresolved/stale pending outcomes. Advisory reconciliation only, never retry permission.
Choose for: Find conflicting idempotency keys before retrying an uncertain agent tool call Triage duplicate success receipts and stale pending attempt logs
Outside this profile: Executing tools, sending messages, retrying effects, restoring state, or contacting live services Authenticating evidence, verifying signatures or identities, granting permission, or enforcing authorization Inferring facts omitted from the supplied artifact snapshot or guaranteeing exactly-once execution
Compare a structured caller-supplied approval receipt to a proposed action: exact actor and scope, declared data-class subset, payload digest, caller time window, revocation and use count. Does not authenticate or grant authorization.
Choose for: Detect scope drift or expiry in an offline human-approval receipt Compare a proposed action with an exact structured approval artifact before human review
Outside this profile: Executing tools, sending messages, retrying effects, restoring state, or contacting live services Authenticating evidence, verifying signatures or identities, granting permission, or enforcing authorization Inferring facts omitted from the supplied artifact snapshot or guaranteeing exactly-once execution
Compare a checkpoint with a proposed resume packet: workflow/consumer/revision, JSON state digest, required artifact manifests, exact stream cursors and pending-effect receipts. Reports reconciliation blockers; never restores or dispatches anything.
Choose for: Check an agent checkpoint handoff before resuming after interruption Find missing artifacts, cursor gaps and uncertain side effects in a recovery packet
Outside this profile: Executing tools, sending messages, retrying effects, restoring state, or contacting live services Authenticating evidence, verifying signatures or identities, granting permission, or enforcing authorization Inferring facts omitted from the supplied artifact snapshot or guaranteeing exactly-once execution
Intersect 2–8 supplied capability offers, exact protocol/version/media identifiers and bounded size intervals. Return a deterministic common proposal or explicit conflicts; no negotiation, schema compatibility proof or authorization occurs.
Choose for: Find a common contract version and declared capabilities between agents Compare message and batch limits before exchanging artifacts
Outside this profile: Live negotiation, message delivery, queue consumption, remote pagination, artifact fetching or migration execution Authentication, signed provenance, authorization, schema compatibility proofs, or exactly-once guarantees Inferring absent versions, server state, missing history, semantic equivalence, or market uniqueness
Choose a bounded minimum-cost route through a supplied directed version-migration manifest, respecting explicit lossy-step, cost and step limits. Version IDs are opaque; no migrations run and declared compatibility is not independently verified.
Choose for: Plan a declared contract migration path between agent versions Find a lowest-cost adapter chain without allowing declared data loss
Outside this profile: Live negotiation, message delivery, queue consumption, remote pagination, artifact fetching or migration execution Authentication, signed provenance, authorization, schema compatibility proofs, or exactly-once guarantees Inferring absent versions, server state, missing history, semantic equivalence, or market uniqueness
Inspect up to 256 supplied message envelopes against stream checkpoints, explicit duplicate rules and sequence-slot identity. Propose a contiguous ordered prefix per stream, stopping at gaps and withholding every plan on structural conflicts. No messages are delivered or consumed.
Choose for: Order an agent message batch without skipping missing sequence numbers Deduplicate identical message envelopes under an explicit policy
Outside this profile: Live negotiation, message delivery, queue consumption, remote pagination, artifact fetching or migration execution Authentication, signed provenance, authorization, schema compatibility proofs, or exactly-once guarantees Inferring absent versions, server state, missing history, semantic equivalence, or market uniqueness
Validate a supplied page chain for consecutive numbers, cursor continuity and cycles, fixed snapshot/query digests, and item-ID/content conflicts. Return a checkpoint only for a consistent chain. A terminal marker is not proof of a complete live dataset.
Choose for: Check pagination cursor continuity before handing a checkpoint to another agent Detect snapshot drift and repeated records in captured API pages
Outside this profile: Live negotiation, message delivery, queue consumption, remote pagination, artifact fetching or migration execution Authentication, signed provenance, authorization, schema compatibility proofs, or exactly-once guarantees Inferring absent versions, server state, missing history, semantic equivalence, or market uniqueness
Check a supplied artifact derivation graph for parent-digest and media-type agreement, missing or cyclic ancestry, and required/forbidden ancestor or depth constraints. Inspect only supplied manifests; no artifact bytes, derivations, identities or source authenticity are verified.
Choose for: Validate artifact parent digests and transformation media contracts Check required or forbidden source ancestry before accepting an agent artifact
Outside this profile: Live negotiation, message delivery, queue consumption, remote pagination, artifact fetching or migration execution Authentication, signed provenance, authorization, schema compatibility proofs, or exactly-once guarantees Inferring absent versions, server state, missing history, semantic equivalence, or market uniqueness
Build a deterministic capacity-feasible candidate task schedule with dependencies, release times and renewable resource demands; no optimality or live availability guarantee.
Choose for: Schedule dependent tasks against supplied concurrent worker or renewable resource capacities Return earliest-insertion candidate start and end times when unlimited-worker DAG timing is insufficient
Outside this profile: Optimal makespan, execution, resource reservations, observed worker availability or runtime prediction Token-bucket dispatch quotas or retry timing Proof that no schedule can fit a caller horizon
Plan FIFO not-before times from supplied continuous-refill token buckets, with exact rational balance evidence and an explicitly partial horizon prefix; no requests are sent.
Choose for: Plan FIFO API job dispatch against supplied token bucket capacity and refill assumptions Return exact not-before millisecond times and rational before/after quota balances
Outside this profile: Live quota discovery, provider conformance, request sending, retry permission or guaranteed server acceptance Persistent quota reservations or synchronization across workers Renewable resources held for execution durations or optimal job reordering
Round a supplied decimal allocation matrix to exact integer floor/ceiling cells while preserving both declared margins, minimizing absolute error and breaking ties lexicographically; return a verifiable optimum or infeasibility witness. No payments, accounting advice or execution.
Choose for: Caller supplies both exact margins and requires the minimum absolute rounding error
Outside this profile: Actual financial allocation, posting ledgers, payments or accounting advice Automatically choosing margins or unconstrained proportional apportionment
Choose an exact minimum-cost complete one-job-per-slot assignment over caller-declared nonoverlapping slots and admissible edges, with lexical ties and a verifiable optimum or Hall-deficiency certificate. No live availability check, reservation or job dispatch.
Choose for: Caller declares all admissible edges and pairwise nonoverlapping slots in one time coordinate system
Outside this profile: General precedence or resource scheduling, overlapping slots, travel-time or skill inference Live calendar availability, slot reservation, real job dispatch, payments or currency conversion
Find an exact minimum-cost directed route visiting every supplied stop once, as a fixed-start cycle or open path with optional fixed end. Null arcs are forbidden; no maps, geocoding, traffic, vehicle capacity, time windows or dispatch.
Choose for: All leg costs and allowed arcs are supplied in one declared unit; at most 12 stops including the start
Outside this profile: Shortest paths that may skip/revisit stops, real routing data, multiple vehicles, capacity or time windows General route search beyond the exact bounded Hamiltonian model Investment advice, high-impact decisions about people, or validating the truth of caller assumptions
Compare caller-defined alternatives using a complete loss matrix: all expected-loss, worst-loss and minimax-regret optima, scenario Pareto dominance and perfect-information value. Optional explicit positive relative probabilities; no inferred likelihoods or universal recommendation.
Choose for: Caller supplies complete nonnegative losses in one unit for every alternative and scenario Use null probabilityWeights when no probability model is justified
Outside this profile: Forecasting, eliciting utilities or probabilities, validating scenario completeness, continuous or randomized policies Weighted rubric aggregation with missing observations or incompatible units Investment advice, high-impact decisions about people, or validating the truth of caller assumptions
Enumerate every admissible one-period order quantity and minimize exact expected purchase, fixed-order, leftover and unmet-demand costs under caller-supplied demand scenarios. Return all optimal quantities and scenario arithmetic; no demand forecast, service guarantee or order placement.
Choose for: Supply integer inventory and demand in one unit, positive relative scenario probabilities and nonnegative cost assumptions All replenishment arrives before demand and every positive order follows the declared multiple and minimum
Outside this profile: Forecasting, multi-period inventory, uncertain lead time, backorder carryover, shelf life, multiple products or capacity coupling Real procurement, inventory availability checks, service-level promises or profit optimization Investment advice, high-impact decisions about people, or validating the truth of caller assumptions