„Show HN“: TLA+ darbo stoties įgūdis kodavimo agentams (suderinamas su Vercel įgūdžių CLI)

Santrauka lietuviškai

Sukurta nepriklausoma TLA+ įgūdžių sistema, skirta kodavimo agentų darbo eigoms. Šis saugykla šiuo metu koncentruojasi į vieną įgūdį: tlaplus-workbench, kuris padeda natūralios kalbos dizainus konvertuoti į .tla/.cfg failus, vykdyti TLC ir apibendrinti priešpavyzdžius, aiškiai pranešant apie prielaidas bei modelio ribas. Įrankis leidžia greitai išbandyti naudojant npx komandas ir pateikia TLA+ pavyzdžių saugyklą, sukurta iš vienkartinių užklausų. Autorius prašo atsiliepimų apie įrankio praktinį naudingumą protokolų/būsenų mašinų modeliavimui bei patarimų, kaip pagerinti TLC darbo eigą kasdieniam naudojimui.