AI Linter

TLA+ does not come with a traditional linter or formatter. The TLA+ AI Linter is a GenAI script that uses LLMs to lint TLA+ files.

Find more info on: https://microsoft.github.io/genaiscript/case-studies/tla-ai-linter/