INDIVIDUAL MCP TOOL

session_status

The session's state without its events, cheap enough to poll: browser connected (owner), visibility, current viewer link (not renewed), viewers, created_at and expires_at (Unix seconds), run (compilations so far: event times restart at each), level and levels (null in free mode), capture ({id, kind, state} of the session's capture, logic or analog, or null).

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 session_status and invoke it with your own arguments.

Indexed input schema

{}

Risk classification

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.

Parent server

picodev.fr

CONNECT WITH APPROVAL

Client installation

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.

Related tools

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).