Repositorio de GitHub

tlaplus-process-studio

tlaplus-process-studio contiene 1 skills recopiladas de RCSnyder, con cobertura ocupacional por repositorio y páginas de detalle dentro del sitio.

Perfil de RCSnyder Ver en GitHub

skills recopiladas

Stars

actualizado

2026-03-31

Forks

Cobertura ocupacional

Desarrolladores de software

1 categorías ocupacionales · 100% clasificado

explorador de repositorios

Skills en este repositorio

creador/repositorio/skill

skill

ocupación

descripción

actualizado

tla-studio-agent

Desarrolladores de software

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.

2026-03-31