Menu
Problem-solving strategies for convergence in real analysis
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
Based on SOC occupation classification
Create git commits with user approval and no Claude attribution
Create or update continuity ledger for state preservation across clears
Create handoff document for transferring work to another session
Debug issues by investigating logs, database state, and git history
Generate comprehensive PR descriptions following repository templates
Deep interview process to transform vague ideas into detailed specs. Works for technical and non-technical users.
| name | convergence |
| description | Problem-solving strategies for convergence in real analysis |
| allowed-tools | ["Bash","Read"] |
Use this skill when working on convergence problems in real analysis.
Identify Sequence/Series Type
Apply Convergence Tests
sympy_compute.py limit "a_{n+1}/a_n"sympy_compute.py limit "a_n^(1/n)"Verify Bounds
z3_solve.py prove for inequality boundsCompute Sum (if convergent)
sympy_compute.py sum "a_n" --var n --from 0 --to oouv run python -m runtime.harness scripts/sympy_compute.py limit "a_n" --var n --at oo
uv run python -m runtime.harness scripts/sympy_compute.py sum "1/n**2" --var n --from 1 --to oo
uv run python -m runtime.harness scripts/z3_solve.py prove "series_bounded"
See .claude/skills/math-mode/SKILL.md for full tool documentation.