scooter-lacroix/convergence
maestro/skills/math/math/real-analysis/convergence/SKILL.md
Problem-solving strategies for convergence in real analysis
$ install --global
skillsauthnpx skillsauth add scooter-lacroix/maestro convergenceInstall 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: Apr 13, 2026, 12:30 AM172.9s1 file scanned
SKILL.md
- name:
- convergence
- description:
- Problem-solving strategies for convergence in real analysis
- allowed-tools:
- [Bash, Read]
Convergence
When to Use
Use this skill when working on convergence problems in real analysis.
Decision Tree
-
Identify Sequence/Series Type
- Geometric series: |r| < 1 converges
- p-series: p > 1 converges
- Alternating series: check decreasing + limit 0
-
Apply Convergence Tests
- Ratio test:
sympy_compute.py limit "a_{n+1}/a_n" - Root test:
sympy_compute.py limit "a_n^(1/n)" - Comparison test: find bounding series
- Ratio test:
-
Verify Bounds
- Use
z3_solve.py provefor inequality bounds - Check monotonicity with derivatives
- Use
-
Compute Sum (if convergent)
sympy_compute.py sum "a_n" --var n --from 0 --to oo
Tool Commands
Sympy_Limit
uv run python -m runtime.harness scripts/sympy_compute.py limit "a_n" --var n --at oo
Sympy_Sum
uv run python -m runtime.harness scripts/sympy_compute.py sum "1/n**2" --var n --from 1 --to oo
Z3_Prove
uv run python -m runtime.harness scripts/z3_solve.py prove "series_bounded"
Cognitive Tools Reference
See .maestro/skills/math-mode/SKILL.md for full tool documentation.
Related Skills
scooter-lacroix/wiring
tools
VerifiedTrustedCommunity
Wiring Verification
5SKILL.mdUpdated Apr 12, 2026
scooter-lacroix/sub-agents
tools
VerifiedTrustedCommunity
Create and configure Maestro sub-agents with custom prompts, tools, and models
5SKILL.mdUpdated Apr 12, 2026
scooter-lacroix/slash-commands
data-ai
VerifiedTrustedCommunity
Create and use Maestro slash commands - quick prompts, bash execution, file references
5SKILL.mdUpdated Apr 12, 2026
scooter-lacroix/skill-upgrader
development
VerifiedTrustedCommunity
Upgrade any skill to v5 Hybrid format using decision theory + modal logic
5SKILL.mdUpdated Apr 12, 2026