rings

by parcadei3.9k

Problem-solving strategies for rings in abstract algebra

Install

The skill file stays in the publisher's repository.

Paste the copied command in a terminal. It installs this SKILL.md into that agent.

npx skills add parcadei/Continuous-Claude-v3 --skill rings -a cursor -y

How do I install rings?: Download .claude/skills/math/abstract-algebra/rings/SKILL.md from the publisher, or copy the path and open the repository. PlugMCP lists the skill and does not host the file.
Where does rings live?: The publisher keeps it at https://github.com/parcadei/Continuous-Claude-v3.
Which agents can use rings?: Claude, Cursor, and Codex can read a SKILL.md you add from the publisher's repository.

Use this skill when working on rings problems in abstract algebra.

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"
Ring Properties
- Commutative ring: ab = ba for all a, b?
- Ring with unity: exists 1 such that 1a = a1 = a?