continuity
Problem-solving strategies for continuity in real analysis
Quellinformationen
- Repository
- parcadei/Continuous-Claude-v3
- Letzte Quellaktivität
- 10. Januar 2026 um 01:54
- Erkannte Sprache von SKILL.md
- Englisch
- Sterne
- 3.942
- Forks
- 303
Installationsoptionen
Standardmäßig ist der Prompt ausgewählt, der zuerst die Quelle prüft. Sie können zu einem direkten Befehl wechseln oder eine lokale Kopie herunterladen.
Quelldateien prüfen
Lesen Sie SKILL.md und alle von SkillsMP angezeigten Begleitdateien, bevor Sie sich für eine Installation entscheiden.
SKILL.md wird angezeigt
SKILL.md
Quellanweisungen · Schreibgeschützte Vorschau- name
- continuity
- description
- Problem-solving strategies for continuity in real analysis
- allowed-tools
- ["Bash","Read"]
# Continuity
## When to Use
Use this skill when working on continuity problems in real analysis.
## Decision Tree
1. **Check Definition**
- f(a) exists (function defined at point)
- lim_{x->a} f(x) exists
- lim_{x->a} f(x) = f(a)
2. **Use SymPy for Limit Check**
- `sympy_compute.py limit "f(x)" --var x --at a`
- Compare with f(a)
3. **Piecewise Functions**
- Check left and right limits separately
- `sympy_compute.py limit "f(x)" --var x --at a --dir left`
4. **Verify with Z3**
- `z3_solve.py prove "limit_exists implies continuous"`
## Tool Commands
### Sympy_Limit
```bash
uv run python -m runtime.harness scripts/sympy_compute.py limit "f(x)" --var x --at a
```
### Sympy_Limit_Left
```bash
uv run python -m runtime.harness scripts/sympy_compute.py limit "f(x)" --var x --at a --dir left
```
### Z3_Prove
```bash
uv run python -m runtime.harness scripts/z3_solve.py prove "continuous_at_a"
```
## Cognitive Tools Reference
See `.claude/skills/math-mode/SKILL.md` for full tool documentation.
Auf GitHub ansehen