Menü
SkillsMP hat 4 Skills aus h-lu/mathematical-paper-skills gesammelt. Öffne einen Skill, um Quelle und Details zu prüfen.
Diesen Prompt kopieren und in den verwendeten KI-Assistenten einfügen.
Agent Skills aus diesem Repository installieren: https://github.com/h-lu/mathematical-paper-skills
Zuerst die Quelle, SKILL.md und Begleitdateien prüfen und die verfügbaren Skills zur Auswahl auflisten. Nach meiner Auswahl die vollständigen Skill-Verzeichnisse im aktuellen Projekt installieren und prüfen, ob alle benötigten Dateien vorhanden sind.Es werden 4 von 4 gesammelten Skills angezeigt.
Maintain a lightweight Lean blueprint alongside a natural-language mathematical proof for dependency navigation, self-review, and reviewer access without requiring full proof formalization.
Quellsprache: Englisch
Write, restructure, or review research mathematics papers with mathematical fidelity, clear exposition, and an appropriate journal register. Use for contribution and venue assessment, titles and abstracts, theorem and proof architecture, substantive…
Quellsprache: Englisch
Organize or restructure research papers in the Dumortier–Roussarie–Rousseau (DRR) program on finite cyclicity of planar graphics. Use for paper outlines, section order, proof organization, and placement of figures, tables, and appendices. Focus on…
Quellsprache: Chinesisch
Design, produce, or review mathematically faithful figures for dynamical systems, fast-slow systems, singular perturbations, canards, planar phase portraits, and limit cycles. Use for new figures, substantial redesigns, computed plots, figure systems,…
Quellsprache: Englisch