proxy-mcp

Instructions

Implementation Reference

• src/tools/sessions.ts:341-357 (handler)

  The registration and handler definition for the 'proxy_delete_session' tool. It uses `proxyManager.deleteSession` to perform the deletion.

  server.tool(
    "proxy_delete_session",
    "Delete a recorded session from disk.",
    {
      session_id: z.string().describe("Session ID"),
    },
    async ({ session_id }) => {
      try {
        await proxyManager.deleteSession(session_id);
        return {
          content: [{ type: "text", text: JSON.stringify({ status: "success", deleted: session_id }) }],
        };
      } catch (e) {
        return { content: [{ type: "text", text: JSON.stringify({ status: "error", error: toError(e) }) }] };
      }
    },
  );