reduction-builder
Construct and verify polynomial-time reductions between computational problems
Best use case
reduction-builder is best used when you need a repeatable AI agent workflow instead of a one-off prompt.
Construct and verify polynomial-time reductions between computational problems
Teams using reduction-builder should expect a more consistent output, faster repeated execution, less prompt rewriting.
When to use this skill
- You want a reusable workflow that can be run more than once with consistent structure.
When not to use this skill
- You only need a quick one-off answer and do not need a reusable workflow.
- You cannot install or maintain the underlying files, dependencies, or repository context.
Installation
Claude Code / Cursor / Codex
Manual Installation
- Download SKILL.md from GitHub
- Place it in
.claude/skills/reduction-builder/SKILL.mdinside your project - Restart your AI agent — it will auto-discover the skill
How reduction-builder Compares
| Feature / Agent | reduction-builder | Standard Approach |
|---|---|---|
| Platform Support | Not specified | Limited / Varies |
| Context Awareness | High | Baseline |
| Installation Complexity | Unknown | N/A |
Frequently Asked Questions
What does this skill do?
Construct and verify polynomial-time reductions between computational problems
Where can I find the source code?
You can find the source code on GitHub using the link provided at the top of the page.
SKILL.md Source
# 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
Related Skills
process-builder
Scaffold new babysitter process definitions following SDK patterns, proper structure, and best practices. Guides the 3-phase workflow from research to implementation.
developer-portal-builder
Build unified developer portals with Backstage or custom frameworks
cli-framework-builder
Build command-line interfaces for SDK interaction
probuilder
Unity ProBuilder skill for level prototyping.
protocol-builder
Skill for building standardized research protocols
interactive-dashboard-builder
Skill for building interactive data dashboards
qiskit-circuit-builder
IBM Qiskit integration skill for quantum circuit construction, transpilation, and execution on IBM Quantum hardware
qec-code-builder
Quantum error correction code implementation skill for fault-tolerant quantum computing
cirq-circuit-builder
Google Cirq integration skill for quantum circuit design and execution on Google quantum processors
operational-semantics-builder
Define and test operational semantics specifications for programming languages
phylogenetics-tree-builder
Phylogenetic analysis skill for constructing evolutionary trees and assessing relationships
portfolio-dashboard-builder
Generates portfolio dashboards with visualizations, trends