gate4 mcp: not built yet, see stage 1 item 9