Author

brianwu02

1

Marketplaces

1

Plugins

0

Skills

0

Agents

0

Commands

Marketplaces

Marketplace

tla-claude-code

tla-claude-code

Plugins:1

Skills:0

2

0

Plugins

Plugin

tla-claude-code

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