Skip to content

SKILLS.md

Latest commit

 

History

History
13 lines (12 loc) · 834 Bytes

SKILLS.md

File metadata and controls

13 lines (12 loc) · 834 Bytes
Raw

Skills

  • [issue-to-pr] — Convert a GitHub issue into a PR with an implementation plan
  • [add-model] — Add a new problem model to the codebase
  • [add-rule] — Add a new reduction rule to the codebase
  • [review-implementation] — Review implementation completeness via parallel subagents
  • [fix-pr] — Resolve PR review comments, CI failures, and coverage gaps
  • [check-issue] — Quality gate for Rule and Model GitHub issues
  • [check-rule-redundancy] — Check if a reduction rule is redundant via composite paths
  • [write-model-in-paper] — Write or improve a problem-def entry in the Typst paper
  • [write-rule-in-paper] — Write or improve a reduction-rule entry in the Typst paper
  • [release] — Create a new crate release with version bump
  • [meta-power] — Batch-resolve all open Model and Rule issues autonomously