What problem does it solve?
This Skill acts as a quality gate for GitHub issues related to problem definitions and reduction rules, ensuring they are useful, correct, and well-documented before development begins.
Core Features & Use Cases
- Automated Quality Checks: Performs comprehensive checks on GitHub issues, including usefulness, non-triviality, correctness of claims, and writing quality.
- Issue Type Detection: Differentiates between
[Rule] and [Model] issue types to apply relevant checks.
- Structured Reporting: Generates a detailed report as a GitHub comment, highlighting passed, failed, and warned checks.
- Label Application: Automatically applies labels (e.g.,
Useless, Trivial, Wrong, PoorWritten, Good) to issues based on check results.
- Use Case: When a new problem reduction rule is proposed on GitHub, this Skill can automatically review it for completeness and accuracy, providing immediate feedback to the contributor and flagging potential issues for the maintainers.
Quick Start
Use the check-issue skill to review GitHub issue number 123.