Find the perfect skill
TLA+ Formal Specification for Distributed Systems
Development
TLA+ formal specification language for designing and verifying distributed systems and concurrent algorithms. It enables mathematical precision, early detection of concurrency bugs, and exhaustive model checking with TLC. Industry adoption includes Amazon (AWS), Microsoft, and MongoDB for ensuring system correctness before implementation.
Customer.io Advanced Troubleshooting
Development
Advanced debugging techniques for diagnosing complex Customer.io integration issues. Helps investigate delivery problems, integration failures, and incidents. Includes API debugging, user profile investigation, and a structured troubleshooting framework.
Concurrency and Synchronization Audit
Development
Audit ByroRedux for data races, deadlocks, incorrect lock ordering, missing Vulkan synchronization, and thread-safety violations.
Thread Spawner for Claude Threads
Development
Spawn and manage parallel threads on a running claude-threads orchestrator, enabling parallel execution of epics and stories from a Claude Code session.
Modularization Operations
Development
Covers dependency management, monolith decomposition via the Strangler Fig pattern, and testing strategies for modular systems.
Integrate existing client systems
Development
Connects existing client tools (Sheets, CRM, e-commerce, etc.) and orchestrates automation flows between them. Includes webhooks, notifications, and deployment.
Today's Date
Development
Fetches the current date for web searches and time-sensitive tasks. Automatically runs before any web search that includes a year, ensuring the correct current year is used instead of outdated dates.
Implementation Planning
Development
Create a detailed implementation plan based on research findings. Use after research is complete and before writing code to define success criteria, scope boundaries, and step-by-step tasks with verification. Helps structure work and prevent scope creep.
Project Review Setup
Development
Bootstrap a project review system with 2 agents and 6 skills, tailored to the project's language and framework.
Creating Services with Effect v4
Development
Guide to creating services with Context.Service, IdentityComposer keys, and Layer composition in Effect v4.
MQL5 to Python Translation Workspace
Development
Translates MQL5 indicators to Python with automatic accuracy validation (correlation ≥ 0.999). Enables headless market data export via Wine and the MetaTrader5 API, ideal for automating data workflows and porting custom indicators.
Create or Update a Pull Request
Development
Create or update a pull request using the JellyRock template. Automatically fills issues and docs sections from branch signal and runs judgment passes for tech-debt and followups.