| ▲ | Show HN: TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI)(github.com) | |||||||
| 27 points by youio 8 hours ago | 2 comments | ||||||||
| ▲ | youio 8 hours ago | parent [-] | |||||||
I built a TLA+ skill for coding-agent workflows. This repo currently focuses on one skill: tlaplus-workbench. It helps convert natural-language designs into .tla/.cfg files, run TLC, and summarize counterexamples. Quick try: npx -y skills add younes-io/agent-skills --skill tlaplus-workbench List skills from a local checkout: npx -y skills add . --list TLA+ spec examples (generated from one-shot prompts): https://github.com/younes-io/tlaplus-workbench-examples Feedback I'd value: 1. Is this useful for real protocol/state-machine modeling? 2. What features should I add next for this TLA+ skill? | ||||||||
| ||||||||