What problem does it solve?
This Skill helps you speed up software without guessing, by turning slow paths into measured, verified improvements instead of risky refactors. It is designed for developers who need to reduce latency, increase throughput, and cut memory or allocation overhead while keeping behavior unchanged.
Core Features & Use Cases
- Profile-first workflow: Establish a baseline, inspect flamegraphs or allocation traces, and focus only on real hotspots.
- Proof of correctness: Capture golden outputs, document invariants, and write an isomorphism proof for every change.
- Optimization technique selection: Choose from batching, memoization, better data structures, algorithmic improvements, and concurrency patterns based on the measured bottleneck.
- Language-specific guidance: Use tailored profiling and trouble-spot checks for Rust, Go, TypeScript, and Python.
- Use case: A backend service is slow under load, and this Skill guides you to measure p95 latency, identify the hottest function, apply one safe optimization, and verify the result before repeating.
Quick Start
Use this skill to profile the slow workflow, identify the top bottleneck, and propose one behavior-preserving optimization with verification steps.
