Show HN: TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI)
Summary
Show HN post about a TLA+ Workbench skill for coding AI agents, compatible with Vercel skills CLI. It highlights a GitHub repository that enables TLA+ Workbench-based agent scripting and integration with Vercel’s skills CLI, offering a formal-methods approach to agent behavior.