vibeeval/limits
skills/math/real-analysis/limits/SKILL.md
Problem-solving strategies for limits in real analysis
$ install --global
skillsauthnpx skillsauth add vibeeval/vibecosystem limitsInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
Security Scan Results
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
3
Scanners Passed
9
Scanners in report
Clean
TrivyContainer and dependency vulnerability scanner
95%
Clean
SemgrepStatic code analysis for vulnerabilities
95%
Clean
mcp-scan (Snyk)Model Context Protocol security validation
95%
Skipped
Snyk (dep)Open source security scanning
50%
Skipped
Socket.devSupply chain security analysis
50%
Skipped
VirusTotalMulti-engine malware detection
50%
Skipped
CrowdStrikeAdvanced threat intelligence
50%
Skipped
OSV-ScannerOpen Source Vulnerability database check
50%
Skipped
OWASP Dep-Check
50%
Last scanned: Jun 11, 2026, 3:02 AM113.5s1 file scanned
SKILL.md
- name:
- limits
- description:
- Problem-solving strategies for limits in real analysis
- allowed-tools:
- [Bash, Read]
Limits
When to Use
Use this skill when working on limits problems in real analysis.
Decision Tree
-
Direct Substitution
- Try plugging in the value directly
- If you get a determinate form, that's the answer
-
Indeterminate Form? (0/0, inf/inf)
- Try algebraic manipulation (factor, rationalize)
- Try L'Hopital's rule:
sympy_compute.py diffon numerator/denominator
-
Squeeze Theorem
- If bounded: find g(x) <= f(x) <= h(x) where lim g = lim h
- Verify bounds with
z3_solve.py prove
-
Epsilon-Delta Proof
- For rigorous proof: set up |f(x) - L| < epsilon
- Find delta in terms of epsilon
- Verify with
math_scratchpad.py verify
Tool Commands
Sympy_Limit
uv run python -m runtime.harness scripts/sympy_compute.py limit "sin(x)/x" --var x --at 0
Sympy_Diff
uv run python -m runtime.harness scripts/sympy_compute.py diff "x**2" --var x
Z3_Prove
uv run python -m runtime.harness scripts/z3_solve.py prove "limit_bound" --vars x
Cognitive Tools Reference
See .claude/skills/math-mode/SKILL.md for full tool documentation.
Related Skills
vibeeval/workflow-router
development
VerifiedTrustedCommunity
Goal-based workflow orchestration - routes tasks to specialist agents based on user goals
500SKILL.mdUpdated Jun 11, 2026
vibeeval/wiring
tools
VerifiedTrustedCommunity
Wiring Verification
500SKILL.mdUpdated Jun 11, 2026
vibeeval/websocket-patterns
development
VerifiedTrustedCommunity
Connection management, room patterns, reconnection strategies, message buffering, and binary protocol design.
500SKILL.mdUpdated Jun 11, 2026
vibeeval/vp-engineering
testing
VerifiedTrustedCommunity
VP Engineering perspective - org design (team topologies), process improvement, cross-team dependencies, engineering culture, OKRs, incident management maturity, platform strategy, DX optimization, release management at scale
500SKILL.mdUpdated Jun 11, 2026