CodingThrust
Official@codingthrust
The Coding Thrust, Git Hub at HKUST-GZ
Agent Skills by CodingThrust
Showing 18 vetted skills indexed across 1 GitHub repositories.
CodingThrustpropose
Guides interactive brainstorming of computational models and files them as GitHub issues.
CodingThrustreview-implementation
Automates code review by dispatching parallel structural and quality subagents on git diffs.
CodingThrusttutorial
Guide users through the pred command-line tool for NP-hard problems and reductions.
CodingThrustfinal-review
Review pull requests in a GitHub project board for merge readiness.
CodingThrustproject-pipeline
Automate GitHub project board issue triage and pipeline transitions.
CodingThrustrelease
Automate Rust crate releases with SemVer versioning and crates.io publishing.
CodingThrustfix-pr
Resolves GitHub PR review comments, CI failures, and CodePen coverage gaps for unflagged branches.
CodingThrustcheck-issue
Validate GitHub issues for problem definitions and reduction rules.
CodingThrustwrite-rule-in-paper
Author reduction-rule entries with theorem statements, proofs, and examples in Typst.
CodingThrustfix-issue-batch
Automate batch fixing of GitHub issues from a project board's backlog column.
CodingThrustreview-pipeline
Automates GitHub Pull Request triage and progression through board statuses.
CodingThrustissue-to-pr
Generate GitHub pull requests from issues with implementation plans.
CodingThrustadd-model
Guide adding new problem models to a Rust codebase with verification.
CodingThrustdev-setup
Automate development tool installation and configuration for macOS and Linux.
CodingThrusttopology-sanity-check
Analyze reduction graph topology for orphan problems and NP-hardness proof chains.
CodingThrustadd-rule
Guide adding reduction rules with Rust code, tests, and Typst documentation.
CodingThrustfix-issue
Automate resolution of quality issues reported in GitHub issues.
CodingThrustwrite-model-in-paper
Write formal problem definitions and examples for Typst research papers.
Frequently Asked Questions About CodingThrust
FAQPage SchemaWhat specific research and engineering tasks does CodingThrust enable?▼
CodingThrust enables formalizing NP-hard problem models, verifying reduction graph topology, and managing research documentation in Typst. It facilitates the end-to-end lifecycle of computational projects, from initial brainstorming and issue triage to Rust crate releases and pull request quality assurance.
Which personas benefit most from these computational management capabilities?▼
Computer science researchers, academic contributors, and software engineers working on NP-hard problem reductions benefit most. These capabilities are designed for teams maintaining formal research repositories who require rigorous verification of proof chains and structured project board management for complex computational models.
What are the primary prerequisites for integrating these capabilities?▼
Integration requires a GitHub-hosted repository environment and familiarity with the Rust ecosystem for implementation tasks. Users must also utilize Typst for formal documentation and maintain a structured GitHub project board to leverage the issue triage and pipeline transition features effectively.