Skip to main content
Glama

WritersLogic verifiable AI agents

temporal-constraints

Are these timing constraints satisfiable? Earliest/latest time per event, or the conflicting constraints — Solves a simple temporal network: up to 40 named time points, up to 200 difference constraints 'b is between min and max minutes after a' and optional fixed instants, relative to a caller origin instant. When consistent it returns each point's earliest and latest feasible instant (where bounded); when not, it returns the cycle of constraints that contradict each other, with the total impossible sl

Tool call template

Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.

{
  "id": 1,
  "jsonrpc": "2.0",
  "method": "tools/call",
  "params": {
    "arguments": {
      "origin": "<origin>",
      "points": "<points>",
      "constraints": "<constraints>"
    },
    "name": "temporal-constraints"
  }
}

Input Schema

NameRequiredDescriptionDefault
fixedNo
originYesInstant that point 'origin' (an implicit extra point) is at; all minutes are relative to it.
pointsYes
constraintsYes

Schema Changelog

Changes observed during successful MCP inspections.

  1. First observed

TDQS

Score is being calculated.

Try in Browser

Glama MCP Gateway

Add one secure layer between your agents and this server.

Resources