{"serverId":"mcp-registry/io.github.hcompai/hai-agents","tools":[{"name":"cancel_session","fixed":{"name":"cancel_session","description":"Cancel a session; a no-op if it does not exist or already finished.","inputSchema":{"type":"object","required":["session_id"],"properties":{"session_id":{"type":"string"}},"additionalProperties":false},"annotations":{"readOnlyHint":false,"destructiveHint":true,"idempotentHint":true},"title":"Cancel Session"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: false, destructiveHint: true, idempotentHint: true (inferred from the name).","verify":true}],"tokensBefore":68,"tokensAfter":68},{"name":"list_agents","fixed":{"name":"list_agents","description":"List agents the caller can run: their org's agents plus the public ``h/`` ones.","inputSchema":{"type":"object","properties":{"page":{"type":"integer","default":1},"size":{"type":"integer","default":20}},"additionalProperties":false},"annotations":{"readOnlyHint":true},"title":"List Agents"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":76,"tokensAfter":76},{"name":"list_files","fixed":{"name":"list_files","description":"List files on a browser session's machine (e.g. downloads), newest first.\n\n``session_id`` is the browser session id issued by env-manager when the session was\ncreated, not the id ``run_agent`` returns.\n\nWhen a listing is truncated, page on the last entry's modified_at (ISO-8601)\nand name, passed as modified_before and name_after. Send both: modification\ntimes are not unique, and a timestamp alone skips the rest of a tied group.","inputSchema":{"type":"object","required":["session_id"],"properties":{"path":{"type":"string","default":"~/Downloads"},"name_after":{"anyOf":[{"type":"string"},{"type":"null"}],"default":null},"session_id":{"type":"string"},"max_entries":{"type":"integer","default":500},"modified_before":{"anyOf":[{"type":"string"},{"type":"null"}],"default":null}},"additionalProperties":false},"annotations":{"readOnlyHint":true},"title":"List Files"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":239,"tokensAfter":239},{"name":"read_file","fixed":{"name":"read_file","description":"Read a file from a browser session's machine; returns base64 content and metadata.\n\n``session_id`` is the browser session id issued by env-manager when the session was\ncreated, not the id ``run_agent`` returns.","inputSchema":{"type":"object","required":["session_id","path"],"properties":{"path":{"type":"string"},"session_id":{"type":"string"}},"additionalProperties":false},"annotations":{"readOnlyHint":true},"title":"Read File"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":116,"tokensAfter":116},{"name":"run_agent","fixed":{"name":"run_agent","description":"Start an agent on a task; return the answer or a session handle to wait on.\n\n``agent`` is a name from list_agents, which runs its latest revision, or ``name:N`` to run revision N.","inputSchema":{"type":"object","required":["task","agent"],"properties":{"task":{"type":"string"},"agent":{"type":"string"},"max_steps":{"anyOf":[{"type":"integer"},{"type":"null"}],"default":null},"max_time_s":{"anyOf":[{"type":"number"},{"type":"null"}],"default":null},"idempotency_key":{"anyOf":[{"type":"string"},{"type":"null"}],"default":null}},"additionalProperties":false},"annotations":{"readOnlyHint":false,"destructiveHint":false,"idempotentHint":false},"title":"Run Agent"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: false, destructiveHint: false, idempotentHint: false (inferred from the name).","verify":true}],"tokensBefore":167,"tokensAfter":167},{"name":"send_message","fixed":{"name":"send_message","description":"Send a follow-up message to a running session.","inputSchema":{"type":"object","required":["session_id","message"],"properties":{"message":{"type":"string"},"session_id":{"type":"string"}},"additionalProperties":false},"annotations":{"readOnlyHint":false,"destructiveHint":false,"idempotentHint":false},"title":"Send Message"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: false, destructiveHint: false, idempotentHint: false (inferred from the name).","verify":true}],"tokensBefore":72,"tokensAfter":72},{"name":"write_file","fixed":{"name":"write_file","description":"Write base64-encoded content to a file on a browser session's machine.\n\n``session_id`` is the browser session id issued by env-manager when the session was\ncreated, not the id ``run_agent`` returns.","inputSchema":{"type":"object","required":["session_id","path","content_base64"],"properties":{"path":{"type":"string"},"session_id":{"type":"string"},"content_base64":{"type":"string"}},"additionalProperties":false},"annotations":{"readOnlyHint":false,"destructiveHint":false,"idempotentHint":false},"title":"Write File"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: false, destructiveHint: false, idempotentHint: false (inferred from the name).","verify":true}],"tokensBefore":127,"tokensAfter":127}],"toolsChanged":7,"tokensSaved":0,"todo":[{"tool":"cancel_session","params":["session_id"]},{"tool":"list_agents","params":["page","size"]},{"tool":"list_files","params":["path","name_after","session_id","max_entries","modified_before"]},{"tool":"read_file","params":["path","session_id"]},{"tool":"run_agent","params":["task","agent","max_steps","max_time_s","idempotency_key"]},{"tool":"send_message","params":["message","session_id"]},{"tool":"share_session","params":["session_id"]},{"tool":"wait_for_session","params":["wait","session_id"]},{"tool":"write_file","params":["path","session_id","content_base64"]}],"note":"Deterministic fixes. Changes marked verify need a human look before shipping (renames, inferred annotations, inferred types, removed text). Parameter descriptions in `todo` need to be written by someone who knows the API."}