Back to all repositories
BR
tla-claude-code
by brianwu02
⏺ Claude Code skill that wraps TLA+ formal verification to find concurrency bugs, race conditions, and UX flow issues.
2stars0forks0watchers/subscribers0issues
- Language
- TLA
- License
- MIT License
- Size
- 104 KB
- Created
- Apr 2, 2026
- Last Updated
- May 17, 2026
- Last Pushed
- Apr 5, 2026
Available Plugins
Loading plugins...
Evaluate before installing
- Review the source repository, recent maintenance, and license on GitHub.
- Read the marketplace manifest and plugin source files before running commands.
- Start with the smallest required permission set and validate behavior in a safe environment.