npx skills add parcadei/Continuous-Claude-v3 --skill rings --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# Rings ## When to Use Use this skill when working on rings problems in abstract algebra. ## Decision Tree 1. **Is R a ring?** - (R, +) is an abelian group - Multiplication is associative - Distributive laws: a(b+c) = ab + ac and (a+b)c = ac + bc - `z3_solve.py prove "ring_axioms"` 2. **Ring Properties** - Commutative ring: ab = ba for all a, b? - Ring with unity: exists 1 such that 1*a = a*1 = a? - Integral domain: ab = 0 implies a = 0 or b = 0? - `z3_solve.py prove "integral_domain"` 3. **Ideals** - I is ideal if: I is additive subgroup AND for all r in R, a in I: ra in I, ar in I - Principal ideal: (a) = {ra : r in R} - `sympy_compute.py simplify "r*a"` for ideal multiplication 4. **Ring Homomorphisms** - phi(a + b) = phi(a) + phi(b) - phi(ab) = phi(a)phi(b) - phi(1) = 1 (for rings with unity) ## Tool Commands ### Z3_Ring_Axioms ```bash uv run python -m runtime.harness scripts/z3_solve.py prove "ForAll([a,b,c], a*(b+c) == a*b + a*c)" ``` ### Z3_Integral_Domain ```bash uv run python -m runtime.harness scripts/z3_solve.py prove "a*b == 0 implies a == 0 or b == 0" ``` ### Sympy_Ideal ```bash uv run python -m runtime.harness scripts/sympy_compute.py simplify "r*a" ``` ## Key Techniq
- When to Use
- Decision Tree
- Tool Commands
- Z3RingAxioms
- Z3IntegralDomain
- SympyIdeal
- Key Techniques
- Cognitive Tools Reference
uv run python -m runtime.harness scripts/z3_solve.py prove "ForAll([a,b,c], a*(b+c) == a*b + a*c)" uv run python -m runtime.harness scripts/z3_solve.py prove "a*b == 0 implies a == 0 or b == 0" uv run python -m runtime.harness scripts/sympy_compute.py simplify "r*a"
What does the rings skill do?
Problem-solving strategies for rings in abstract algebra
How do I install it?
Run `npx skills add parcadei/Continuous-Claude-v3 --skill rings --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From parcadei/Continuous-Claude-v3, a repository with 3,879 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.