Server definition
- Hash
- sha256:cde30ea83eb838e233cdc8268047f79ea66774de1e986ffcc55607bcef587065
- What it is
- What a remote MCP server returned when asked what it offers: 9 tools
The blob, as servednamed by its sha256
{
"instructions": null,
"tools": [
{
"description": "Cancel a session; a no-op if it does not exist or already finished.",
"inputSchema": {
"properties": {
"session_id": {
"type": "string"
}
},
"required": [
"session_id"
],
"type": "object"
},
"name": "cancel_session",
"outputSchema": {
"additionalProperties": {
"type": "string"
},
"type": "object"
}
},
{
"description": "List agents the caller can run: their org's agents plus the public ``h/`` ones.",
"inputSchema": {
"properties": {
"page": {
"default": 1,
"type": "integer"
},
"size": {
"default": 20,
"type": "integer"
}
},
"type": "object"
},
"name": "list_agents",
"outputSchema": {
"additionalProperties": true,
"type": "object"
}
},
{
"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": {
"properties": {
"max_entries": {
"default": 500,
"type": "integer"
},
"modified_before": {
"anyOf": [
{
"type": "string"
},
{
"type": "null"
}
],
"default": null
},
"name_after": {
"anyOf": [
{
"type": "string"
},
{
"type": "null"
}
],
"default": null
},
"path": {
"default": "~/Downloads",
"type": "string"
},
"session_id": {
"type": "string"
}
},
"required": [
"session_id"
],
"type": "object"
},
"name": "list_files",
"outputSchema": {
"additionalProperties": true,
"type": "object"
}
},
{
"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": {
"properties": {
"path": {
"type": "string"
},
"session_id": {
"type": "string"
}
},
"required": [
"session_id",
"path"
],
"type": "object"
},
"name": "read_file",
"outputSchema": {
"additionalProperties": true,
"type": "object"
}
},
{
"description": "Start an agent on a task; return the answer or a session handle to wait on. ``agent`` from list_agents.",
"inputSchema": {
"properties": {
"agent": {
"type": "string"
},
"idempotency_key": {
"anyOf": [
{
"type": "string"
},
{
"type": "null"
}
],
"default": null
},
"max_steps": {
"anyOf": [
{
"type": "integer"
},
{
"type": "null"
}
],
"default": null
},
"max_time_s": {
"anyOf": [
{
"type": "number"
},
{
"type": "null"
}
],
"default": null
},
"task": {
"type": "string"
}
},
"required": [
"task",
"agent"
],
"type": "object"
},
"name": "run_agent",
"outputSchema": {
"additionalProperties": true,
"type": "object"
}
},
{
"description": "Send a follow-up message to a running session.",
"inputSchema": {
"properties": {
"message": {
"type": "string"
},
"session_id": {
"type": "string"
}
},
"required": [
"session_id",
"message"
],
"type": "object"
},
"name": "send_message",
"outputSchema": {
"additionalProperties": {
"type": "string"
},
"type": "object"
}
},
{
"description": "Make a session publicly readable and return its absolute share URL.",
"inputSchema": {
"properties": {
"session_id": {
"type": "string"
}
},
"required": [
"session_id"
],
"type": "object"
},
"name": "share_session",
"outputSchema": {
"additionalProperties": {
"type": "string"
},
"type": "object"
}
},
{
"description": "Poll a session: with ``wait`` long-poll for the answer, else return the current snapshot.",
"inputSchema": {
"properties": {
"session_id": {
"type": "string"
},
"wait": {
"default": true,
"type": "boolean"
}
},
"required": [
"session_id"
],
"type": "object"
},
"name": "wait_for_session",
"outputSchema": {
"additionalProperties": true,
"type": "object"
}
},
{
"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": {
"properties": {
"content_base64": {
"type": "string"
},
"path": {
"type": "string"
},
"session_id": {
"type": "string"
}
},
"required": [
"session_id",
"path",
"content_base64"
],
"type": "object"
},
"name": "write_file",
"outputSchema": {
"additionalProperties": true,
"type": "object"
}
}
]
}Verify it yourself
curl -s https://api.teppi.xyz/v1/evidence/sha256:cde30ea83eb838e233cdc8268047f79ea66774de1e986ffcc55607bcef587065 | sha256sum