feat: add zero-to-infinity, add-issue-model, add-issue-rule skills (#161)#169
Open
zazabap wants to merge 9 commits intoCodingThrust:mainfrom
Open
feat: add zero-to-infinity, add-issue-model, add-issue-rule skills (#161)#169zazabap wants to merge 9 commits intoCodingThrust:mainfrom
zazabap wants to merge 9 commits intoCodingThrust:mainfrom
Conversation
…ems/rules Implements a 6-step pipeline skill (survey, discover, rank, select, file, implement) that helps users identify high-impact problems and reduction rules to add to the codebase, based on user-ranked impact dimensions (academia, industry, cross-field, top-scientists, graph connectivity, pedagogical value). Closes CodingThrust#161 Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Addresses 5 issues found during manual testing: 1. Survey cascading elimination (no repeated options) 2. Inventory-first deduplication 3. Rules-over-models prioritization + nontrivial filter 4. Candidate limit 10-20 5. New add-issue-model/add-issue-rule sub-skills Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
5 tasks: add-issue-model skill, add-issue-rule skill, rewrite zero-to-infinity SKILL.md, register in CLAUDE.md, push. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Standalone skill that creates well-formed [Model] GitHub issues with all 11 checklist items, citations, and repo verification. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Standalone skill that creates well-formed [Rule] GitHub issues with all 9 checklist items, worked examples, correctness arguments, and nontriviality checks. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
…ules-over-models, sub-skills Addresses 5 issues found during manual testing: 1. Survey uses cascading elimination (no repeated options) 2. Inventory-first deduplication (Phase 1 before any search) 3. Rules-over-models prioritization + nontrivial filter 4. Candidate limit 10-20 (default ~15) 5. Issue filing via add-issue-model/add-issue-rule sub-skills Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
…lates Rewrite both skills to match the exact section structure from .github/ISSUE_TEMPLATE/problem.md and rule.md in the upstream repo: - add-issue-model: Motivation, Definition (Name/Reference/Formal), Variables, Schema, Complexity, How to Solve, Example Instance - add-issue-rule: Source/Target/Motivation/Reference header, Reduction Algorithm, Size Overhead, Validation Method, Example Also adds --label flags (model/rule) to match template metadata. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
…TeX math in issue templates
- zero-to-infinity: exclusion set now = {implemented} ∪ {open issues}, not closed issues
- add-issue-model: all math expressions use GitHub LaTeX ($...$, $$...$$)
- add-issue-rule: all math expressions use GitHub LaTeX ($...$, $$...$$)
Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Collaborator
Author
|
@isPANN Please try this draft SKILL and whether it helps implement new rules and models. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
[Model]issues matching the upstream.github/ISSUE_TEMPLATE/problem.mdtemplate[Rule]issues matching the upstream.github/ISSUE_TEMPLATE/rule.mdtemplateCLAUDE.mdKey features
{implemented} ∪ {open issues}before any discovery$...$/$$...$$for proper equation renderingCloses #161
Test plan
🤖 Generated with Claude Code