Skill All skills & plugins / Claude Code official plugins
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.
- Type
- Plugin with 2 skills by Anthropic
- Catalog
- Claude Code official plugins
- Source
- anthropics/claude-plugins-official/plugins/math-proof (10 files scanned)
- Install and details
- Agent Skills Index entry
- License
- Apache-2.0 (LICENSE file)
- Signals
- Pre-approved shellBundled scripts
Pre-approved tools
Shell (any command). Tools listed in allowed-tools (or an agent's tools) can be used without a permission prompt while the skill is active, depending on your agent and settings.
| Kind | Tools |
|---|---|
| read/search | ReadGlobGrep |
| write/edit files | WriteEdit |
| shell, scoped | Bash(mkdir *)Bash(cp *)Bash(cmp *)Bash(python3 ${CLAUDE_SKILL_DIR}/scripts/ledger.py *)Bash(python3 ${CLAUDE_PLUGIN_ROOT}/skills/siege/scripts/ledger.py *)Bash(python ${CLAUDE_SKILL_DIR}/scripts/ledger.py *)Bash(python ${CLAUDE_PLUGIN_ROOT}/skills/siege/scripts/ledger.py *)Bash(mv *)Bash(cat *)Bash(test *)Bash(ls *)Bash(wc *)Bash(grep *)Bash(printf *)Bash(echo *) |
| sub-agents | Agent |
| shell, any command | Bash |
Declared in solo/SKILL.md, siege/SKILL.md, agents/math-proof-worker.md, agents/math-proof-judge.md, agents/math-proof-worker-deep.md.
Hooks
No hooks.
MCP servers and apps
None.
Bundled code
1 code file (Python):
Network calls
No HTTP or socket call pattern found in the code.
Starts other programs
No subprocess, exec or eval pattern found.
Credentials referenced
No key, token or secret environment variable found in code or MCP config.
Static scan of commit 41f619d on 2026-10-27. Signals are patterns found in the files, not a verdict: a network call can be the whole point of a skill. Read the linked lines before you decide. How the scan works.