·tlaplus-workbench
</>

tlaplus-workbench

✓
younes-io/agent-skillsGitHub: younes-io/agent-skillsFuente: younes-io/agent-skills

Escribir y perfeccionar iterativamente especificaciones TLA+ ejecutables (.tla) y configuraciones de modelos TLC (.cfg) a partir de diseños de sistemas en lenguaje natural; ejecutar la verificación del modelo TLC; resumir pasa/falla y contraejemplos con supuestos y límites explícitos. Úselo cuando se le solicite: diseñar/validar una máquina de estado o protocolo distribuido con TLA+, crear/editar archivos .tla o .cfg, ejecutar TLC o interpretar fallas/contraejemplos de TLC.

younes-io·tlaplus·workbench
6Instalaciones·0Tendencia·@younes-io

Instalación

GitHub: younes-io/agent-skills
$npx skills add https://github.com/younes-io/agent-skills --skill tlaplus-workbench

Cómo instalar tlaplus-workbench

Instala rápidamente el skill de IA tlaplus-workbench en tu entorno de desarrollo mediante línea de comandos

  1. Abrir Terminal: Abre tu terminal o herramienta de línea de comandos (Terminal, iTerm, Windows Terminal, etc.)
  2. Ejecutar comando de instalación: Copia y ejecuta este comando: npx skills add https://github.com/younes-io/agent-skills --skill tlaplus-workbench
  3. Verificar instalación: Una vez instalado, el skill se configurará automáticamente en tu entorno de programación con IA y estará listo para usar en Claude Code, Cursor u OpenClaw

Fuente: younes-io/agent-skills.

SKILL.md

Ver original

If the user doesn't specify bounds, propose minimal ones (and label them as "proposed"):

Prefer modeling the design over implementation details. If the design is fuzzy, model the uncertainty explicitly with nondeterminism and constraints.

Maintain a compact checklist that maps each natural-language requirement to one of:

Escribir y perfeccionar iterativamente especificaciones TLA+ ejecutables (.tla) y configuraciones de modelos TLC (.cfg) a partir de diseños de sistemas en lenguaje natural; ejecutar la verificación del modelo TLC; resumir pasa/falla y contraejemplos con supuestos y límites explícitos. Úselo cuando se le solicite: diseñar/validar una máquina de estado o protocolo distribuido con TLA+, crear/editar archivos .tla o .cfg, ejecutar TLC o interpretar fallas/contraejemplos de TLC. Fuente: younes-io/agent-skills.

Datos (listos para citar)

Campos y comandos estables para citas de IA/búsqueda.

Comando de instalación
npx skills add https://github.com/younes-io/agent-skills --skill tlaplus-workbench
Fuente
younes-io/agent-skills
Categoría
</>Desarrollo
Verificado
✓
Primera vez visto
2026-02-26
Actualizado
2026-03-11
URL
https://www.learn-skills.dev/es/skills/younes-io/agent-skills/tlaplus-workbench

Browse more skills from younes-io/agent-skills

Respuestas rápidas

¿Qué es tlaplus-workbench?

Escribir y perfeccionar iterativamente especificaciones TLA+ ejecutables (.tla) y configuraciones de modelos TLC (.cfg) a partir de diseños de sistemas en lenguaje natural; ejecutar la verificación del modelo TLC; resumir pasa/falla y contraejemplos con supuestos y límites explícitos. Úselo cuando se le solicite: diseñar/validar una máquina de estado o protocolo distribuido con TLA+, crear/editar archivos .tla o .cfg, ejecutar TLC o interpretar fallas/contraejemplos de TLC. Fuente: younes-io/agent-skills.

¿Cómo instalo tlaplus-workbench?

Abre tu terminal o herramienta de línea de comandos (Terminal, iTerm, Windows Terminal, etc.) Copia y ejecuta este comando: npx skills add https://github.com/younes-io/agent-skills --skill tlaplus-workbench Una vez instalado, el skill se configurará automáticamente en tu entorno de programación con IA y estará listo para usar en Claude Code, Cursor u OpenClaw

¿Dónde está el repositorio de origen?

https://github.com/younes-io/agent-skills

Detalles

Categoría
</>Desarrollo
Fuente
skills.sh
Primera vez visto
2026-02-26

Skills Relacionados

Ninguno