Best use case
limits is best used when you need a repeatable AI agent workflow instead of a one-off prompt.
Problem-solving strategies for limits in real analysis
Teams using limits should expect a more consistent output, faster repeated execution, less prompt rewriting.
When to use this skill
- You want a reusable workflow that can be run more than once with consistent structure.
When not to use this skill
- You only need a quick one-off answer and do not need a reusable workflow.
- You cannot install or maintain the underlying files, dependencies, or repository context.
Installation
Claude Code / Cursor / Codex
Manual Installation
- Download SKILL.md from GitHub
- Place it in
.claude/skills/limits/SKILL.mdinside your project - Restart your AI agent — it will auto-discover the skill
How limits Compares
| Feature / Agent | limits | Standard Approach |
|---|---|---|
| Platform Support | Not specified | Limited / Varies |
| Context Awareness | High | Baseline |
| Installation Complexity | Unknown | N/A |
Frequently Asked Questions
What does this skill do?
Problem-solving strategies for limits in real analysis
Where can I find the source code?
You can find the source code on GitHub using the link provided at the top of the page.
SKILL.md Source
# Limits ## When to Use Use this skill when working on limits problems in real analysis. ## Decision Tree 1. **Direct Substitution** - Try plugging in the value directly - If you get a determinate form, that's the answer 2. **Indeterminate Form? (0/0, inf/inf)** - Try algebraic manipulation (factor, rationalize) - Try L'Hopital's rule: `sympy_compute.py diff` on numerator/denominator 3. **Squeeze Theorem** - If bounded: find g(x) <= f(x) <= h(x) where lim g = lim h - Verify bounds with `z3_solve.py prove` 4. **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 ```bash uv run python -m runtime.harness scripts/sympy_compute.py limit "sin(x)/x" --var x --at 0 ``` ### Sympy_Diff ```bash uv run python -m runtime.harness scripts/sympy_compute.py diff "x**2" --var x ``` ### Z3_Prove ```bash 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
limits-colimits
Problem-solving strategies for limits colimits in category theory
workflow-router
Goal-based workflow orchestration - routes tasks to specialist agents based on user goals
wiring
Wiring Verification
websocket-patterns
Connection management, room patterns, reconnection strategies, message buffering, and binary protocol design.
visual-verdict
Screenshot comparison QA for frontend development. Takes a screenshot of the current implementation, scores it across multiple visual dimensions, and returns a structured PASS/REVISE/FAIL verdict with concrete fixes. Use when implementing UI from a design reference or verifying visual correctness.
verification-loop
Comprehensive verification system covering build, types, lint, tests, security, and diff review before a PR.
vector-db-patterns
Embedding strategies, ANN algorithms, hybrid search, RAG chunking strategies, and reranking for semantic search and retrieval.
variant-analysis
Find similar vulnerabilities across a codebase after discovering one instance. Uses pattern matching, AST search, Semgrep/CodeQL queries, and manual tracing to propagate findings. Adapted from Trail of Bits. Use after finding a bug to check if the same pattern exists elsewhere.
validate-agent
Validation agent that validates plan tech choices against current best practices
tracing-patterns
OpenTelemetry setup, span context propagation, sampling strategies, Jaeger queries
tour
Friendly onboarding tour of Claude Code capabilities for users asking what it can do.
tldr-stats
Show full session token usage, costs, TLDR savings, and hook activity