القائمة
Problem-solving strategies for limits in real analysis. Trigger phrases: "problem-solving strategies for limits in real analysis".
يُحدَّد Prompt الذي يراجع المصدر أولًا بشكل افتراضي. يمكنك التبديل إلى أمر مباشر أو تنزيل نسخة محلية.
اقرأ SKILL.md وأي ملفات مرافقة يعرضها SkillsMP قبل أن تقرر التثبيت.
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
يتجاوز الأمر المباشر Prompt المخصّص للمراجعة. افحص المصدر قبل تشغيله.
npx skills add https://github.com/DojoGenesis/plugins --skill limitsيبقى الأمر في سطر واحد. مرّر أفقيًا لمراجعته كاملًا قبل النسخ.
تفضّل نسخة محلية؟ نزّل الملفات المتاحة حاليًا لدى SkillsMP.
Run a bounded kata roll over the project's bring queue — start a session with an explicit target (reps or minutes), surface and stage exactly one bring per tick, log the outcome only on the human's word, then advance. Use when the user says "start a roll", "roll for N reps", "do a 25-minute roll", "tick", "next rep", "resolve this tick", "skip this tick", or "pause/resume/end the roll".
Set up the kata roll in a project that already runs (or is starting) the bring loop — confirm bring/ exists, explain where the roll's own ledger lives, walk through the opt-in timer, and make the two-plugin coexistence with bring-loop explicit. Use when the user says "set up kata-harness", "install the roll plugin", "add rolls on top of bring-loop", or asks how the timed roll relates to their daily bring.
Produces markdown memory artifacts (conversation summaries, seed files, philosophical reflections, doc updates) and a dated compression log by distilling a long conversation into its essential decisions and learnings. For the lighter, routine end-of-session wrap-up, use `session-compression` instead — this skill is for a long conversation that needs the fuller multi-artifact treatment. Use when: "compress this context", "distill this conversation", "create a memory artifact", "condense this history", "extract key wisdom before handoff".
استنادا إلى تصنيف SOC المهني
عرض SKILL.md
| name | limits |
| description | Problem-solving strategies for limits in real analysis. Trigger phrases: "problem-solving strategies for limits in real analysis". |
Use this skill when working on limits problems in real analysis.
Direct Substitution
Indeterminate Form? (0/0, inf/inf)
sympy_compute.py diff on numerator/denominatorSqueeze Theorem
z3_solve.py proveEpsilon-Delta Proof
math_scratchpad.py verifyuv run python -m runtime.harness scripts/sympy_compute.py limit "sin(x)/x" --var x --at 0
uv run python -m runtime.harness scripts/sympy_compute.py diff "x**2" --var x
uv run python -m runtime.harness scripts/z3_solve.py prove "limit_bound" --vars x
See .claude/skills/math-mode/SKILL.md for full tool documentation.