add-rule
OfficialAdd new reduction rules to the codebase.
Software Engineering#documentation#software development#code generation#rust#contributing#reduction rules
AuthorCodingThrust
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill streamlines the process of adding new reduction rules to the problem-reductions codebase, ensuring all necessary documentation and implementation steps are followed.
Core Features & Use Cases
- Guided Implementation: Provides a step-by-step checklist for gathering information and implementing a new reduction rule.
- Code Generation Guidance: Offers templates and instructions for writing Rust code for the reduction logic and tests.
- Documentation Assistance: Guides the user through updating the paper documentation and generating necessary exports.
- Use Case: A researcher discovers a new way to reduce the 'Traveling Salesperson Problem' to 'Boolean Satisfiability'. They use this Skill to systematically implement and document this new reduction within the library.
Quick Start
Use the add-rule skill to implement a new reduction from MinimumVertexCover to MaximumIndependentSet.
Dependency Matrix
Required Modules
None requiredComponents
references
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: add-rule Download link: https://github.com/CodingThrust/problem-reductions/archive/main.zip#add-rule Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.