demo.tomcedoz.com

{
  "name": "get_agent_catalog",
  "kind": "answer",
  "impl": "imperative",
  "description": "Return the WebMCP tools currently registered for this session. Use this first to discover what the human and agent can do together in MUEFS.",
  "inputSchema": {
    "type": "object",
    "properties": {}
  }
}

{
  "name": "get_agent_session",
  "kind": "answer",
  "impl": "imperative",
  "description": "Return the current browser session: demo role, page path, registered tool count, and suggested next tool. Call this at the start of any agent conversation.",
  "inputSchema": {
    "type": "object",
    "properties": {}
  }
}

{
  "name": "get_agent_activity",
  "kind": "answer",
  "impl": "imperative",
  "description": "Return recent WebMCP tool calls from this browser tab (same feed shown on /agent). Use after workflows to summarize what the agent already did for the human.",
  "inputSchema": {
    "type": "object",
    "properties": {
      "limit": {
        "type": "integer",
        "description": "Max entries to return (default 15, max 40)"
      }
    }
  }
}

{
  "name": "get_challenge_briefing",
  "kind": "answer",
  "impl": "imperative",
  "description": "Judge-oriented overview: why MUEFS fits WebMCP, flagship prompts, live URLs, and human-in-the-loop rules. Call this when evaluating or demoing the challenge entry.",
  "inputSchema": {
    "type": "object",
    "properties": {}
  }
}

{
  "name": "search_cases",
  "kind": "answer",
  "impl": "imperative",
  "description": "Search the statewide public docket by party name and/or case number. Sealed matters are excluded. Returns case id, number, title, status, and parties.",
  "inputSchema": {
    "type": "object",
    "properties": {
      "party_name": {
        "type": "string",
        "description": "Party or litigant name (partial match)"
      },
      "case_number": {
        "type": "string",
        "description": "Case number (partial match)"
      },
      "page": {
        "type": "integer",
        "minimum": 1,
        "default": 1
      }
    }
  }
}

{
  "name": "get_case_docket",
  "kind": "answer",
  "impl": "imperative",
  "description": "Return public docket details for a case by numeric id (from search_cases). Sealed cases require an authorized account and will return forbidden.",
  "inputSchema": {
    "type": "object",
    "required": [
      "case_id"
    ],
    "properties": {
      "case_id": {
        "type": "integer",
        "description": "Internal case id from search results"
      }
    }
  }
}

{
  "name": "list_courts",
  "kind": "answer",
  "impl": "imperative",
  "description": "Search e-filing enabled courts by county name or court name. Use court_id with get_filing_requirements or filing wizard.",
  "inputSchema": {
    "type": "object",
    "properties": {
      "query": {
        "type": "string",
        "description": "County or court name fragment"
      },
      "page": {
        "type": "integer",
        "minimum": 1,
        "default": 1
      }
    }
  }
}

{
  "name": "get_filing_requirements",
  "kind": "answer",
  "impl": "imperative",
  "description": "Return MCR-referenced required and optional documents for a court and case type. Use before uploading in the filing wizard.",
  "inputSchema": {
    "type": "object",
    "required": [
      "court_id",
      "case_type_id"
    ],
    "properties": {
      "court_id": {
        "type": "integer"
      },
      "case_type_id": {
        "type": "integer"
      },
      "filing_type": {
        "type": "string",
        "enum": [
          "initial",
          "subsequent",
          "motion",
          "service_only"
        ],
        "description": "Scope requirements to new case vs motion"
      }
    }
  }
}

{
  "name": "get_motion_checklists",
  "kind": "answer",
  "impl": "imperative",
  "description": "MCR 2.119 motion companions (brief, proposed order, proof of service) for a court/case type. Use when advising a filer what to attach to a motion.",
  "inputSchema": {
    "type": "object",
    "required": [
      "court_id",
      "case_type_id"
    ],
    "properties": {
      "court_id": {
        "type": "integer"
      },
      "case_type_id": {
        "type": "integer"
      }
    }
  }
}

{
  "name": "research_case_for_motion",
  "kind": "act",
  "impl": "imperative",
  "description": "End-to-end agent workflow for Michigan e-filing: search the public docket, open a case, load MCR motion checklists, and return a pre-filled filing wizard URL. Ideal for “find Smith v Jones and help me file a motion” prompts. Does not submit filings — human completes the wizard.",
  "inputSchema": {
    "type": "object",
    "properties": {
      "party_name": {
        "type": "string",
        "description": "Party name to search"
      },
      "case_number": {
        "type": "string",
        "description": "Case number to search"
      },
      "case_id": {
        "type": "integer",
        "description": "Skip search when case id is already known"
      }
    }
  }
}

{
  "name": "attorney_motion_workflow",
  "kind": "act",
  "impl": "imperative",
  "description": "Challenge showcase workflow: verify filer role, search docket, load MCR requirements and motion checklists, list draft filings, return wizard URL and plain-language plan. Does not submit — human completes wizard.",
  "inputSchema": {
    "type": "object",
    "properties": {
      "party_name": {
        "type": "string"
      },
      "case_number": {
        "type": "string"
      }
    }
  }
}

{
  "name": "clerk_triage_workflow",
  "kind": "act",
  "impl": "imperative",
  "description": "Challenge showcase for court staff: queue counts, oldest pending filings, and navigation to the review UI. Requires clerk role.",
  "inputSchema": {
    "type": "object",
    "properties": {}
  }
}

{
  "name": "explain_mcr_for_filing",
  "kind": "act",
  "impl": "imperative",
  "description": "Plain-language summary of required documents and motion companions for a court/case type. Ideal for self-represented litigants working with an agent.",
  "inputSchema": {
    "type": "object",
    "required": [
      "court_id",
      "case_type_id"
    ],
    "properties": {
      "court_id": {
        "type": "integer"
      },
      "case_type_id": {
        "type": "integer"
      },
      "filing_type": {
        "type": "string",
        "enum": [
          "initial",
          "subsequent",
          "motion"
        ]
      }
    }
  }
}

{
  "name": "navigate_to",
  "kind": "act",
  "impl": "imperative",
  "description": "Open an in-app path on the same origin. Examples: /cases/search?party=Smith, /filing/new?case_id=1&court_id=3&case_type_id=5, /clerk/queue. Mutating: ask the human, or pass confirmed=true after they agree. Does not leave the Michigan e-filing portal.",
  "inputSchema": {
    "type": "object",
    "required": [
      "path"
    ],
    "properties": {
      "path": {
        "type": "string",
        "description": "App-relative path starting with /"
      },
      "confirmed": {
        "type": "boolean",
        "description": "Set true after the human confirms navigation"
      }
    }
  }
}

{
  "name": "sign_in_demo_role",
  "kind": "act",
  "impl": "imperative",
  "description": "Switch the demonstration role for judge testing. Navigates to login and sets attorney, clerk, srl (self-represented), or public. Mutating: ask the human, or pass confirmed=true.",
  "inputSchema": {
    "type": "object",
    "required": [
      "role"
    ],
    "properties": {
      "role": {
        "type": "string",
        "enum": [
          "attorney",
          "clerk",
          "srl",
          "public"
        ],
        "description": "Demo role to activate"
      },
      "confirmed": {
        "type": "boolean",
        "description": "Set true after the human confirms the role switch"
      }
    }
  }
}

{
  "name": "get_current_demo_role",
  "kind": "answer",
  "impl": "imperative",
  "description": "Return the active demonstration role for this browser session (demo builds only).",
  "inputSchema": {
    "type": "object",
    "properties": {}
  }
}

{
  "name": "sign_in_demo_role",
  "kind": "act",
  "impl": "declarative",
  "description": "Sign in to the MUEFS demo as attorney, clerk, self-represented litigant, or public visitor",
  "inputSchema": {
    "type": "object",
    "properties": {
      "role": {
        "type": "string",
        "enum": [
          "attorney",
          "clerk",
          "srl",
          "public"
        ]
      }
    }
  }
}