Plugin marketplace

tla-skill

The tla skill: model your whole program in TLA+ beside the code, checked by tla-ts.

3 · paralin/tla-skill1 pluginMITupdated 10 days ago

Add this marketplace

Then install any plugin below by name — each page has its exact command.

tla

claude

Model your whole program in TLA+, with each spec beside the code it describes, checked by tla-ts. Then simplify the spec and the code together.

1 skill

3

README badge

Shows how many plugins this repo ships, and links here.

claude & codex pluginslisted