Super HN

   Show HN: TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI) (github.com) 7 points by youio 3 hours ago