Show HN: TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI) (github.com) 41 points by youio 4mo ago ↗ HN
[–] youio 4mo ago ↗ 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-workbenchList skills from a local checkout: npx -y skills add . --listTLA+ spec examples (generated from one-shot prompts): https://github.com/younes-io/tlaplus-workbench-examplesFeedback I'd value: 1. Is this useful for real protocol/state-machine modeling? 2. What features should I add next for this TLA+ skill?
[–] whattheheckheck 4mo ago ↗ Do you think it helps with the systems reasoning? Are there many tla+ specs + real code bases for the llm to learn from? [–] section_me 4mo ago ↗ Raft is a good example. And it seems to be in most models training data.
3 comments
[ 2.7 ms ] story [ 18.3 ms ] threadThis 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?