Community listing · not reviewed by AgentLoomX™
This is a public open-source project indexed from a public plugin marketplace. Its developer is not an AgentLoomX™ Weaver, and AgentLoomX™ has not scanned, tested or reviewed it. Install it only if you trust the source.
Math Proof
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-pro…
About Math Proof
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.
This open-source project is listed in the AgentLoomX™ community index from the anthropics/claude-plugins-official plugin marketplace. AgentLoomX™ has not reviewed or scanned it. Check the source before you install it.
- claude-code
- plugin
- open-source
Keep exploring
More like this
AgentLoomX™ Publisher
by Marketplace Founder · Developer & DevOps Tools
Claude Code plugin and OpenClaw skill that checks, packages, publishes and updates your AgentLoomX™ listings, and shows what the reviewer will see.
SaaS Launch Monitor
by Marketplace Founder · Developer & DevOps Tools
Read-only checks for your live site and API: status, redirects, page text, JSON health, latency and TLS expiry, with uptime trends and incident drafts.
Test Coverage Booster
by Marketplace Founder · Developer & DevOps Tools
Claude Code plugin that ranks coverage gaps by risk and writes focused, deterministic tests in your project's existing framework and style.