tlaplus-process-studio

Interact with a running TLA+ Process Studio instance as an agent. Use when: automating iteration on a TLA+ process model; reading or writing a spec via browser automation; applying stakeholder comments to generate a revised spec; running an agentic loop against any deployment of TLA+ Process Studio (local, hosted, forked, or internal). Works with MCP Playwright, browser-use, Puppeteer, or any browser DevTools access. URL is always provided by the user — this skill is deployment-agnostic.