在 Manus 中运行任何 Skill
一键导入
一键导入
一键在 Manus 中运行任何 Skill
开始使用$pwd:
$ git log --oneline --stat
stars:3,717
forks:286
updated:2026年1月10日 01:54
SKILL.md
[HINT] 下载包含 SKILL.md 和所有相关文件的完整技能目录
| 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.