math-proof
anthropics/claude-plugins-officialPlugin
Two skills for hard mathematics problems, each ending in a self-contained proof.md: /math-proof:solo has the session work the problem itself in stages with a notes file; /math-proof:siege works on it for hours in rounds of judge and worker sub-agents and says plainly what is and is not proved.
Why this score
This repo hosts 54 add-ons, so its 46,079 stars are split between them (about 853 each) for scoring.
Popularity score: 79/100 from public GitHub signals only. It shows how widely used and maintained this is, not how well it works. Not included yet: the fake-star check. The security scan is shown separately and doesn't change the score. How we rank
Security
This listing doesn't point at a fixed version, so there's nothing stable for us to scan.
A scan lists patterns in the code. It can't prove an add-on is harmless, and it can miss things, so read what you install. How we scan
Alternatives
Other makers' add-ons that do the same job, next to this one.
| Name | Score | Stars | Context | Updated |
|---|---|---|---|---|
| This onemath-proof anthropics/claude-plugins-official · Plugin | 79 | ★ 46k | not measured | today |
| math-skill Wholiver/Math.Skill · Skill Both about math and problem | 55 | ★ 48 | ≈55 always | 5mo ago |
| edu-math-video wy51ai/edulab · Skill Both about math and problem | 71 | ★ 1.6k | ≈80 always | 25d ago |
| math-modeling-paper Lupynow/math-modeling-skills · Skill Both about math | 60 | ★ 426 | ≈80 always | 3mo ago |
| find-customer-social-proof zapier/gtm-cheat-codes · Skill Both about proof | 53 | ★ 345 | ≈53 always | 4mo ago |
| capturing-tui-visual-proof letta-ai/letta-code · Skill Both about proof | 75 | ★ 3.7k | ≈59 always | 16d ago |