Picodev Lab

Name: Picodev Lab
Author: PICODEV-SAS

MCP serverMCP

Arduino benches simulated in the browser: sessions, sketch push, simulation, tests, challenges.

by PICODEV-SASrepository ↗homepage ↗v0.9.1

Is this yours?

This record is unclaimed

Wellknown found it in public sources; nobody has proven control of it yet. Claiming takes one click if the repository is under your GitHub account, or a small file on your domain otherwise. Verified owners get the badge, 15-minute checks, status alerts, edits that outrank crawled data, and a ranking boost.

Agents can do it too: POST https://wellknown.network/api/v1/claims with {"agent":"picodev-lab","method":"well_known_file"} — machine-readable steps at claim.json, guide at /docs/claim.

Claim this record

Observed by Wellknown

Evidence

Everything here was measured by our prober or read from a registry. Nothing is self-reported.

30-day availability7/7 checks ok

30 days ago

Tools observed via MCP handshake

decode_capture — Decode a ready logic capture of the session (browser or bench). protocol "uart" with channels {rx} and options {baud (300-1000000, 9600), bits (5-9, 8), par
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 op
open_session — Create a session (mode: free or challenge). Give open_url to the human: nothing simulates until they open it in their browser.
push_to_editor — Replace the code in the human's browser and, if run, compile it in the lab's cloud and start it. The fallback of push_program: use it only when the toolchai
push_program — Send a program compiled on the visitor's machine (Intel HEX text, 48 KiB at most, e.g. arduino-cli's <sketch>.ino.hex) to the human's browser, which loads i
read_simulation — Last state (with circuit, the browser's components and wires), last compilation and the events after since_ms (2000 at most). `serial` is the full serial ou
set_visibility — Change the visibility (private, link, public). Returns the viewer link; current viewers are disconnected.
queue_join — Take a place in the queue for benches of this kind (for example real or sim). The browser must be connected.
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).
queue_leave — Give back the place in the queue, or the turn if it has started.
close_session — End the session now, as when it expires: the place or turn ends, viewers and the browser are disconnected, everything is forgotten.
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
submit_answer — Challenge mode: propose `value` as the answer of the current level's test `test` (an answer test of the level's brief). One answer per second at most. The h
next_level — Challenge mode: move to the next level, as the bench's "Next level" button, and only when it would be offered: every test of the current level passed and a
capture_logic — Record every edge of the requested pins (probes of the setup sheet; by default the logic ones) for duration_ms (1 to 10 000 ms). In the browser's simulation
capture_analog — Sample the voltage of 1 to 4 board pins (the board's own numbers: Nano A0-A7 = 14-21, Uno A0-A5 = 14-19, Mega A0-A15 = 54-69; by default the setup's scope p
read_capture — State of a capture (recording, ready, failed) and its kind (logic, analog). Once ready, the measures per pin and, for a logic capture, the edges [t_us, pin,
read_setup — A served setup sheet (setup.json, files included; never a solution): board, components and wires (circuit), probes, levels (without their hints: hints come
push_circuit — Free mode only: replace the circuit in the human's browser (the simulation stops). components: [{type, id, properties, x?, y?}] (the board is not a componen
bench_snapshot — During the session's turn on a real bench: a photo of the bench, as an image, and t_ms, the instant of the photo in ms since the start of the turn (null whe
spec_draft — Draft the specification of the visitor's own project with Picodev's interview: you ask the visitor, this tool says what to ask next and makes the PDF. Nothing i
brief_submit — Send Picodev the specification of the visitor's project, as a PDF, or only return its preview (send=false). sections: {id: text in simple Markdown}, ids envelop
request_meeting — Send Picodev a meeting request. contact: {name, email, company?, phone?}. context: the project in a few sentences (2000 characters at most): what the visitor wa

Provenance

Where this record came from

Every source is kept verbatim. Field changes are logged as events.

Official MCP Registryio.github.PICODEV-SAS/picodev-lab

first seen 2 d ago · fetched 2 d agoopen ↗

Field history (7 recent events)

2 d ago · declared · summary → "Arduino benches simulated in the browser: sessions, sketch push, simulation, tests, challenges."
2 d ago · declared · description → "Arduino benches simulated in the browser: sessions, sketch push, simulation, tests, challenges."
2 d ago · declared · publisherName → "PICODEV-SAS"
2 d ago · declared · homepageUrl → "https://lab.picodev.fr"
2 d ago · declared · repoUrl → "https://github.com/PICODEV-SAS/picodev-lab-plugin"
2 d ago · declared · version → "0.9.1"
2 d ago · declared · protocols → ["mcp"]

when	check	result	http	latency	detail
2 h ago	mcp initialize	ok	200	36 ms	server picodev-lab-hub · protocol 2025-06-18 · 23 tools
9 h ago	mcp initialize	ok	200	24 ms	server picodev-lab-hub · protocol 2025-06-18 · 23 tools
16 h ago	mcp initialize	ok	200	28 ms	server picodev-lab-hub · protocol 2025-06-18 · 23 tools
23 h ago	mcp initialize	ok	200	18 ms	server picodev-lab-hub · protocol 2025-06-18 · 22 tools
29 h ago	mcp initialize	ok	200	18 ms	server picodev-lab-hub · protocol 2025-06-18 · 21 tools
35 h ago	mcp initialize	ok	200	17 ms	server picodev-lab-hub · protocol 2025-06-18 · 21 tools
2 d ago	mcp initialize	ok	200	18 ms	server picodev-lab-hub · protocol 2025-06-18 · 21 tools

Picodev Lab

This record is unclaimed

Evidence

What the publisher says

Capabilities

Where this record came from