INDIVIDUAL MCP TOOL

queue_leave

Give back the place in the queue, or the turn if it has started.

picodev.frnone authenticationAvailability not checked

LIVE ENDPOINT

https://lab.picodev.fr/mcp

No auth detected

Connect to this endpoint to inspect the live schema for queue_leave and invoke it with your own arguments.

{}

Inferred read-only · medium confidence · heuristic, not a guarantee.

No write-capable action terms were found; this is not proof that invocation has no side effects.

CONNECT WITH APPROVAL

Review this server and its permissions before adding it. Secret placeholders must be set locally.

Codex

~/.codex/config.toml

[mcp_servers.picodev-lab-hub]
url = "https://lab.picodev.fr/mcp"
enabled = true

Claude Code

.mcp.json

{
  "mcpServers": {
    "picodev-lab-hub": {
      "type": "http",
      "url": "https://lab.picodev.fr/mcp"
    }
  }
}

Claude Desktop

Settings → Connectors → Add custom connector

Name: picodev-lab-hub
Remote MCP URL: https://lab.picodev.fr/mcp

Add this remote URL as a custom connector in Claude Desktop. Availability depends on the user plan and workspace policy.

Cursor

.cursor/mcp.json

{
  "mcpServers": {
    "picodev-lab-hub": {
      "url": "https://lab.picodev.fr/mcp"
    }
  }
}

Visual Studio Code

.vscode/mcp.json

Add to Visual Studio Code

{
  "servers": {
    "picodev-lab-hub": {
      "type": "http",
      "url": "https://lab.picodev.fr/mcp"
    }
  }
}

Generic MCP

Client-specific MCP configuration

{
  "name": "picodev-lab-hub",
  "transport": "streamable-http",
  "url": "https://lab.picodev.fr/mcp"
}

MCP Inspector

Run the official MCP Inspector locally and enter the indexed Streamable HTTP endpoint.

list_setups — The setups: status available (open_session works) or soon (listed, cannot be opened yet), their modes (free, challenge) and their benches by kind (status open, or soon: not offered yet).
open_session — Create a session (mode: free or challenge).
push_to_editor — Replace the code in the human's browser and, if run, compile it in the lab's cloud and start it.
push_program — Send a program compiled on the visitor's machine (Intel HEX text, 48 KiB at most, e.
read_simulation — Last state (with circuit, the browser's components and wires), last compilation and the events after since_ms (2000 at most).
set_visibility — Change the visibility (private, link, public).
queue_join — Take a place in the queue for benches of this kind (for example real or sim).
queue_status — The session's place: state none, waiting (position, estimated wait eta_s) or turn (bench, end of the turn ends_at, Unix seconds).