claude

tla-claude-code

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

2 on GitHubby brianwu02v1.0.0MITupdated 7 months ago
/

Plugin tla-claude-code from marketplace tla-claude-code in brianwu02/tla-claude-code. Commands read from the repo's manifest — 1 month ago.

What it installs

Skills (1)

  • tla

    TLA+ formal verification — verify concurrency, race conditions, crash recovery, optimistic UI, and UX flows. Works from design docs or existing code.

View source on GitHub

Maintain tla-claude-code?

This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.

claude & codex pluginslisted