Index / devtools

Picodev Lab

io-github-picodev-sas-picodev-lab declares 21 capabilities across 21 tools, with 2 critical issues.

70/100 exposureHigh exposure

Manifest recorded 2026-10-21 from tools/list on https://lab.picodev.fr/mcp, published in the official MCP registry as io.github.PICODEV-SAS/picodev-lab 0.9.1. The date changes only when the manifest does. Not verified by a maintainer.

Issues

These describe what this server's manifest declares. A product can provide controls that MCP has no way to express — token revocation, an admin console, audit logs — and this page cannot see them. The absence of a declaration is not evidence that a control is absent.

critical · no-revocation · All 21 tools

21 of 21 tools declare no way for the customer to switch them off once granted. This applies to every tool because MCP has no field in which to declare a revocation mechanism; the product may provide one outside MCP that a manifest cannot show.

critical · irreversible-uncapped · 2 of 21 tools

2 tools are classified as irreversible and declare no limit.

high · no-expiry · All 21 tools

21 of 21 tools declare no expiry. This applies to every tool because MCP has no field in which to declare an expiry; the product may provide one outside MCP that a manifest cannot show.

high · no-audit-trail · All 21 tools

21 of 21 tools declare no record of their actions that the customer can read. This applies to every tool because MCP has no field in which to declare an audit requirement; the product may provide one outside MCP that a manifest cannot show.

high · uncapped-write · 12 of 21 tools

12 tools can modify data and declare no limit.

low · uncapped-read · 7 of 21 tools

7 tools can read data and declare no limit.

Declared capabilities

How each tool was read. declared means the server's own annotation said so — self-reported and unverified. inferred is from the tool's name. assumed means nothing indicated either way.

Tool	Read as	Basis
`list_setups`	`read`	declared
`open_session`	`write`	inferred
`push_to_editor`	`write`	inferred
`push_program`	`write`	inferred
`read_simulation`	`read`	declared
`set_visibility`	`write`	inferred
`queue_join`	`write`	assumed
`queue_status`	`read`	declared
`queue_leave`	`write`	assumed
`close_session`	`destructive`	declared
`session_status`	`read`	declared
`next_level`	`write`	assumed
`capture_logic`	`write`	inferred
`capture_analog`	`write`	assumed
`read_capture`	`read`	declared
`read_setup`	`read`	declared
`push_circuit`	`write`	inferred
`bench_snapshot`	`write`	assumed
`spec_draft`	`read`	declared
`brief_submit`	`send`	inferred
`request_meeting`	`write`	inferred

Answering this question about your own agent? The self-serve stack report applies the same reading to your own stack or server and gives you a dated document you can hand to a customer's security review. It is generated in your browser, with nobody to wait for. Buying one does not change this page, its score or its place in the index — see Independence.

Maintain this server? If this page misreads your manifest, or your server has changed, submit its current tools/list response and it will be re-scored and dated. Corrections are published alongside the original, not in place of it.