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.
- Stars
- 45,953
- Version
- v1
- Copies
- 0
Overview
Nothing high or critical in what's published. 1 finding of lower severity is listed below.
- Highest severity
- info
- Findings
- 1
- What ran
- Static analysis
A clean result means nothing alarming in what is published, not a guarantee. How the checks work
Skills in this plugin
- siegeAnthropicWork on one hard mathematics problem in rounds: each round a judge writes a few self-contained questions, independent workers answer them,… No issuesFinanceAI & agents46k
- soloAnthropicWork on one hard mathematics problem in this session yourself, with no sub-agents: reason in stages, record each settled step in a notes… No issuesProductivityAI & agents46k
We don't republish the plugin's instructions. Read them on GitHub at the reviewed commit.
Security
Security scan
Checked 2 days ago
Result
No issues Nothing high or critical in what's published. 1 finding of lower severity is listed below.
Checked with static analysis: servers it launches, packages it installs at runtime, scripts piped to a shell and bundled binaries. Nothing was run. How the checks work
Findings (1)
info · 1
- info
assets/how-a-run-unfolds.png: PNG image
assets/how-a-run-unfolds.png · binary_risk:B6
Versions
Version history
Each distinct content we have seen, newest first, with the verdict it got at the time.
One version so far: v1, seen 2026-11-03.
Files
Files
10 files, 274 KB in total. Names only; open them on GitHub.
- .claude-plugin/plugin.json
- LICENSE
- README.md
- agents/math-proof-judge.md
- agents/math-proof-worker-deep.md
- agents/math-proof-worker.md
- assets/how-a-run-unfolds.png
- skills/siege/SKILL.md
- skills/siege/scripts/ledger.py
- skills/solo/SKILL.md
See and control which skills your people use
Inside your organization, Waxell scans each skill and plugin before anyone installs it, approves what passes and publishes it to a private marketplace, and puts every MCP tool call behind one governed URL.
30 minutes. No commitment.
SOC 2 Type II attested · ISO/IEC 27001:2022 certified · HIPAA with a BAA · aligned to the EU AI Act and NIST AI RMF
More productivity skills and plugins
- soloAnthropicWork on one hard mathematics problem in this session yourself, with no sub-agents: reason in stages, record each settled step in a notes… No issuesProductivityAI & agents46k
- project-artifactAnthropicGenerate and publish a project status artifact: an opinionated, tabbed status page (overview & success criteria, the workstream sequence,… No issuesProductivityAI & agents46k
- project-artifactAnthropicGenerate and publish a project status artifact: an opinionated, tabbed status page for a project too big for one update (overview &… No issuesProductivityAI & agents46k
- ralph-loopAnthropicContinuous self-referential AI loops for interactive iterative development, implementing the Ralph Wiggum technique. Run Claude in a… No issuesProductivityAI & agents46k