brianwu02

1 repository with Claude Code or Codex plugins.

tla-claude-code2
⏺ Claude Code skill that wraps TLA+ formal verification to find concurrency bugs, race conditions, and UX flow issues.
1 plugin · brianwu02/tla-claude-code