reduction-builder
Construct and verify polynomial-time reductions between computational problems
Profile →npx skills add a5c-ai/babysitter --skill reduction-builder --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# Reduction Builder ## Purpose Provides expert guidance on constructing polynomial-time reductions for NP-completeness proofs and problem classification. ## Capabilities - Gadget library for common reductions (3-SAT, Vertex Cover, etc.) - Reduction verification (correctness in both directions) - Polynomial-time verification - Visualization of gadget constructions - Generate reduction documentation - Chain multiple reductions ## Usage Guidelines 1. **Problem Analysis**: Understand source and target problem structures 2. **Gadget Selection**: Choose or design appropriate gadgets 3. **Reduction Construction**: Build the polynomial-time mapping 4. **Correctness Proof**: Prove both directions of the reduction 5. **Time Analysis**: Verify polynomial running time ## Tools/Libraries - Graph visualization - LaTeX documentation - Formal verification tools
- Purpose
- Capabilities
- Usage Guidelines
- Tools/Libraries
What does the reduction-builder skill do?
Construct and verify polynomial-time reductions between computational problems
How do I install it?
Run `npx skills add a5c-ai/babysitter --skill reduction-builder --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From a5c-ai/babysitter, a repository with 1,642 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.