write-rule-in-paper
OfficialDocument NP-hard reductions precisely.
Education & Research#documentation#technical writing#typst#reduction rules#np-hard problems#formal proof
AuthorCodingThrust
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill provides a comprehensive guide for writing and improving reduction-rule entries within the Typst paper, ensuring clarity, accuracy, and adherence to established standards for documenting NP-hard problem reductions.
Core Features & Use Cases
- Structured Authoring: Follows a step-by-step process for defining theorem bodies, proofs, and worked examples.
- Quality Assurance: Includes a verification checklist to ensure completeness, correctness, and reproducibility of reduction documentation.
- Use Case: A researcher needs to formally document a new reduction between two NP-hard problems. This Skill guides them through writing the mathematical statement, proof, and a concrete example in the project's documentation format.
Quick Start
Use the write-rule-in-paper skill to document the KColoring to QUBO reduction in the Typst paper.
Dependency Matrix
Required Modules
None requiredComponents
references
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: write-rule-in-paper Download link: https://github.com/CodingThrust/problem-reductions/archive/main.zip#write-rule-in-paper Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.