List the project-read-only GX3 CLI commands available through this server.

Trace a device's ON/OFF/hold conditions from exact ladder topology. MC master-control zone conditions are folded into the enable logic, and the output warns on multi-OUT-coil devices and rows below a conditional jump.

Static satisfiability check: can two coils' ON/enable conditions be true at the same time? A 'mutually-exclusive' verdict is sound; a 'simultaneous-possible' verdict returns a witness assignment but is not a reachability proof.

Writers and readers of a device with POU name and real step. Requires the xref DB: run gx3-cli xref build --root <root> once per project first.

Static lint: duplicate coils, multi-writers, alarm quality, unused/comment issues, math/type checks. Writes one CSV per check to the working directory.

Constant-OFF contacts, always-on NC contacts, unread coils/words, and SET-without-RST latches. Requires the xref DB.

Device-type usage ranges, density, and free gaps from the SQLite index (build index-lite first).

Alarm/fault inventory with trigger, hold type, timer setpoint, and reset condition. Requires the xref DB.

Rung-level diff between two projects (folders or .gx3) by stable block GUID.

Aggregated IP, CC-Link, SCON, and safety relationship map.

Render a program in GX Works3 print-text layout. Output can be large; pass 'output' to write it to a file. To emit only the circuit under discussion, use 'list_sections' to discover section titles, then filter with 'section', 'pos_range' (A-B), or 'device'.

Escape hatch: run any MCP-allowed, project-read-only GX3 CLI command with explicit arguments. Project-mutating commands and local demo generation commands are rejected. Prefer the typed tools above when one fits.