CodingThrustOfficial·18 Agent Skills Included

problem-reductions

NP-hard problem reductions with automated solver path search

Implements NP-hard problem models and reduction rules in Rust, with automatic search for the cheapest reduction path between problems. Matches real-world optimization problems to known models, finds solver-ready targets like ILP or QUBO, and verifies every reduction mathematically before merging. Automates the full contribution pipeline from issue quality checks to implementation, review, and release.

35|7

↗

npx skills add CodingThrust/problem-reductions --all -g -y

Available:

Tells the agent how to route work through the repo's skills, which commands to run for building and testing, and the safety and architecture rules to follow when implementing problem models and reduction rules.

All Skills in This Repository (18)

Pure Emerald Level Indicators

📦 In Repo

CodingThrust

propose

Guides interactive brainstorming of computational models and files them as GitHub issues.

review-implementation

Automates code review by dispatching parallel structural and quality subagents on git diffs.

tutorial

Guide users through the pred command-line tool for NP-hard problems and reductions.

final-review

Review pull requests in a GitHub project board for merge readiness.

project-pipeline

Automate GitHub project board issue triage and pipeline transitions.

release

Automate Rust crate releases with SemVer versioning and crates.io publishing.

fix-pr

Resolves GitHub PR review comments, CI failures, and CodePen coverage gaps for unflagged branches.

check-issue

Validate GitHub issues for problem definitions and reduction rules.

write-rule-in-paper

Author reduction-rule entries with theorem statements, proofs, and examples in Typst.

fix-issue-batch

Automate batch fixing of GitHub issues from a project board's backlog column.

review-pipeline

Automates GitHub Pull Request triage and progression through board statuses.

issue-to-pr

Generate GitHub pull requests from issues with implementation plans.

Official

Advanced

Frequently Asked Questions

FAQPage Schema

How to install problem-reductions?▼

Run `npx skills add CodingThrust/problem-reductions --all -g -y` in your terminal to install all skills in this suite globally.

How to solve an NP-hard problem with this library?▼

Use the find-solver skill to match your real-world problem to a library model, explore reduction paths to solver-ready targets like ILP or QUBO, and get a step-by-step solution document.

What can I do with a solver I already have?▼

The find-problem skill explores the reduction graph in reverse to show every problem your existing solver can handle, ranked by effective complexity after reduction overhead.

Can I contribute a new problem without coding?▼

Yes. The propose skill interviews you in plain mathematical language, checks the literature, and files a well-formed GitHub issue that the automated pipeline then implements.

Does it work with Claude Code and Codex?▼

Yes. All skills follow the standard SKILL.md format, and the Makefile translates slash-command workflows into explicit prompts for Codex.