Plugin marketplace

tla-claude-code

⏺ Claude Code skill that wraps TLA+ formal verification to find concurrency bugs, race conditions, and UX flow issues.

2 · brianwu02/tla-claude-code1 pluginMITupdated 7 months ago

Add this marketplace

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

tla-claude-code

claude

TLA+ formal verification for concurrency bugs, race conditions, and UX flow issues

1 skill

2

README badge

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

claude & codex pluginslisted