tla-claude-code

Solid

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

plugin 2 stars 0 forks Updated 2 months ago MIT

Install

Plugins install via a marketplace, in two steps.

This plugin isn't listed in a marketplace we've indexed. Install it directly from its GitHub repository — the README has the setup steps.

Stars 20%

Recency 20%

Manifest 20%

Documentation 15%

Issue Health 10%

License 10%

100

Description 5%

100