add-rule

Name: add-rule
Availability: InStock
Author: CodingThrust

Guide adding reduction rules with Rust code, tests, and Typst documentation.

35|7|Updated Jan 9, 2026

Search Tags:#documentation #software development #code generation #rust #contributing #reduction rules

Ready to run

npx skills add https://github.com/CodingThrust/problem-reductions --skill add-rule-codingthrust

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: add-rule
Source: https://github.com/CodingThrust/problem-reductions/tree/main/.claude/skills/add-rule
Command: npx skills add https://github.com/CodingThrust/problem-reductions --skill add-rule-codingthrust

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

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.

Frequently Asked Questions about add-rule

High-intent search queries and answers about installing and using this skill.

FAQPage Schema

How do I add new reduction rules to a Rust codebase?▼

To add reduction rules to a Rust codebase, follow a structured process that guides you through gathering requirements, implementing Rust code for reductions and tests, and documenting in Typst. This ensures adherence to established patterns for rule implementation.

What is the process for documenting reduction rules in Typst?▼

Documenting reduction rules in Typst involves updating the paper documentation and generating necessary project exports. This process ensures all new rule implementations are properly recorded and aligned with existing codebase standards.

Can I use this guided implementation to reduce MinimumVertexCover to MaximumIndependentSet?▼

Yes, you can use this guided implementation to systematically reduce MinimumVertexCover to MaximumIndependentSet. It provides a step-by-step checklist for gathering information and writing the corresponding Rust code.

Do I need to write tests manually when implementing reduction logic in Rust?▼

You do not need to write tests entirely from scratch, as the process offers templates and instructions for writing Rust code for both reduction logic and tests. This ensures new rules are validated against established testing patterns.

Why should I use a structured workflow for contributing new problem reductions?▼

Using a structured workflow for contributing problem reductions streamlines the addition of new rules and ensures all necessary documentation and implementation steps are followed. It prevents inconsistencies by enforcing established codebase patterns.