Run any Skill in Manus
with one click
with one click
Run any Skill in Manus with one click
Get StartedSkill metadata
Stars3,797
Forks298
UpdatedJanuary 10, 2026 at 01:54
SKILL.md
readonly| name | continuity |
| description | Problem-solving strategies for continuity in real analysis |
| allowed-tools | ["Bash","Read"] |
Use this skill when working on continuity problems in real analysis.
Check Definition
Use SymPy for Limit Check
sympy_compute.py limit "f(x)" --var x --at aPiecewise Functions
sympy_compute.py limit "f(x)" --var x --at a --dir leftVerify with Z3
z3_solve.py prove "limit_exists implies continuous"uv run python -m runtime.harness scripts/sympy_compute.py limit "f(x)" --var x --at a
uv run python -m runtime.harness scripts/sympy_compute.py limit "f(x)" --var x --at a --dir left
uv run python -m runtime.harness scripts/z3_solve.py prove "continuous_at_a"
See .claude/skills/math-mode/SKILL.md for full tool documentation.
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
Generate comprehensive PR descriptions following repository templates
Deep interview process to transform vague ideas into detailed specs. Works for technical and non-technical users.
Search Mathlib for lemmas by type signature pattern