tla-plus
TLA+ formal verification for modeling and verifying concurrent algorithms and distributed systems.Us
maxxentropyOpen Source
すべての Skills
5091 Skills
tmux
Manage concurrent processes using tmux. Use when running servers, long tasks, or orchestrating multi
Kabilan108Open Source
tmux-job-runner
Dispatch Claude Code tasks in detached tmux windows with automatic logging. Use when the user wants
wesbragagtOpen Source
tmux-orchestration
Control interactive terminal processes via tmux - launch CLI applications, send input, capture outpu
adimov-ethOpen Source
tmux-tdd
Interact with tmux-based TDD environments. Use when running tests in tmux panes, checking test outpu
ianphilOpen Source
tmux-tui-testing
Test TUI (Text User Interface) applications using tmux. Use this skill when you need to automate tes
fcouryOpen Source
todo-task-manager
Use when building task management applications with CRUD operations for tasks, priorities, and statu
hafiznaveedchuhan-ctrlOpen Source
token-lifecycle-management
Token expiration handling, refresh strategies, and caching patterns for long-running workflows. Mana
adaptive-enforcement-labOpen Source
tokio-concurrency
Advanced concurrency patterns for Tokio including fan-out/fan-in, pipeline processing, rate limiting
geoffjayOpen Source
tombstone-marker-files
Leave markers indicating operations completed. Track progress across complex multi-step workflows. P
adaptive-enforcement-labOpen Source
tool-authoring
Creating reusable tools in tools/ directory that workflows can import and use
mpuigOpen Source
tool-selection-framework
Design systematic decision frameworks for selecting appropriate AI tools (Claude Code vs Gemini CLI)
Rehan-Ul-HaqOpen Source