Is limits safe to install?

SaferSkills independently audited limits (Agent Skill) and scored it 100/100 (green). The audit ran 55 deterministic rules across Security, Supply Chain, Maintenance, Transparency, and Community; it found 0 high-severity and 0 lower-severity findings. The full rule-by-rule trace and per-finding evidence are below. Free, methodology-open.

CategoryWeightCategory scoreContribution

Securityprompt, exec, net, exfil, eval

35%

100

35.0 pts

Supply chainhash, typosquat, maintainer, lockfile

20%

100

20.0 pts

Maintenancestaleness, pinning, CI

15%

100

15.0 pts

TransparencySKILL.md, perms, README

15%

100

15.0 pts

Communityinstalls, verify, response

15%

100

15.0 pts

Findings & checks · 0 flagged

Securityscore 100 · 0 findings

✓—All security checks passedNo findings in this category for the latest scan.pass

Supply chainscore 100 · 0 findings

✓—All supply chain checks passedNo findings in this category for the latest scan.pass

Maintenancescore 100 · 0 findings

✓—All maintenance checks passedNo findings in this category for the latest scan.pass

Transparencyscore 100 · 0 findings

✓—All transparency checks passedNo findings in this category for the latest scan.pass

Communityscore 100 · 0 findings

✓—All community checks passedNo findings in this category for the latest scan.pass

The primary manifest — the file an agent reads to learn what this artifact does.

skills/math/real-analysis/limits/SKILL.md · 1 file

skills/math/real-analysis/limits/SKILL.md1.3 KB · Markdown

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 diff on 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.

limits— agent skill

Is limits safe to install?

Limits

When to Use

Decision Tree

Tool Commands

Sympy_Limit

Sympy_Diff

Z3_Prove

Cognitive Tools Reference

Audit the pieces. Scan the whole. Decide.