Plugin

tla-claude-code

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

Installation

Add the marketplace

/plugin marketplace add brianwu02/tla-claude-code

Install plugins

/plugin

Run these commands in Claude Code to add this plugin to your environment. The marketplace must be added before you can install its plugins.

Plugin Source

View Plugin Code

GitHub Repository

brianwu02/tla-claude-code

From Marketplace

tla-claude-code

View Marketplace

Author

@brianwu02

View GitHub Profile