skills.rest
CodingThrust
CodingThrustOFFICIAL
Explore all skills by this author →
GitHub

propose

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

35|7|Updated Jan 9, 2026
Search Tags:#brainstorming#contribution#model#rule#github issue#propose
One-click install
npx skills add https://github.com/CodingThrust/problem-reductions --skill propose-codingthrust
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: propose
Source: https://github.com/CodingThrust/problem-reductions/tree/main/.claude/skills/propose
Command: npx skills add https://github.com/CodingThrust/problem-reductions --skill propose-codingthrust

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

This Skill guides users through proposing new computational problem models or reduction rules, ensuring they are well-defined and formatted correctly before filing GitHub issues.

Core Features & Use Cases

  • Interactive Brainstorming: Helps domain experts articulate new problem models or reduction rules in natural language.
  • Convention Adherence: Guides users to follow project conventions for defining problems and rules.
  • Issue Filing: Automatically generates and files well-formatted GitHub issues for proposed models or rules.
  • Use Case: A researcher has a novel optimization problem and wants to add it to the project's library. They use this Skill to define the problem's inputs, variables, complexity, and provide examples, which are then formatted into a GitHub issue.

Quick Start

Use the propose skill to start defining a new problem model.

Frequently Asked Questions about propose

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I propose a new computational problem model for a project library?▼

To propose a new computational problem model, you use interactive brainstorming to articulate the design, define inputs and variables, and ensure adherence to project conventions before automatically filing a detailed GitHub issue.

What is the process for adding reduction rules to a problem-reduction graph?▼

Adding reduction rules involves a guided brainstorming session where you define the rule in natural language, verify it meets project formatting conventions, and generate a structured GitHub issue for contribution to the problem-reduction graph.

How do I format a GitHub issue for a new optimization problem specification?▼

Formatting a GitHub issue for an optimization problem requires defining its inputs, variables, and complexity through guided brainstorming, which automatically generates a well-structured issue adhering to project conventions.

Can I contribute to a problem-reduction graph if I only have natural language descriptions?▼

Yes, you can contribute using natural language descriptions, as interactive brainstorming helps both novice and expert users articulate and translate their ideas into well-defined specifications for a GitHub issue.

Does proposing a new rule require prior knowledge of project conventions?▼

No prior knowledge of project conventions is required, as the proposal process actively guides you to ensure your new problem models and reduction rules adhere to the required formatting before filing.

Related Skills

Explore More Software Engineering Skills→
thavirak-svaythavirak-svay
1

bmad-party-mode

Orchestrate group discussions between BMAD agents using a pre-loaded manifest.

Community
Advanced
furkankoykiranfurkankoykiran
4

find-issues

Find unclaimed GitHub issues matching a user's tech stack.

Community
Advanced
innV0innV0

Researcher

Gather and synthesize information from multiple sources into structured summaries with linked sources.

Official
Advanced
typemdtypemd
9

create-issue

Guide brainstorming and draft GitHub issues with acceptance criteria.

Official
Advanced