Math Proof plugin for Grok Build
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.
How to install Math Proof in Grok Build
Grok Build loads Claude Code plugins automatically (docs), but no Grok-specific command is documented. Claude Code's command:
/plugin install math-proof@claude-plugins-officialSource: Claude Code docs
What it contains
Component list not published in the marketplace catalog. See the source repo.
About this listing
Math Proof comes from Anthropic's official Claude Code plugin marketplace, published by Anthropic, and is listed as Claude Code compatible (why); not tested in Grok Build. It's one of 2 listings in the Math category on GrokStacks.
Details
- Type
- Plugin
- Category
- Math
- Source
- Claude Code compatible
- Author
- Anthropic
- Source repo
- https://github.com/anthropics/claude-plugins-official/tree/main/plugins/math-proof
- Listed in
- catalog file
- Tested by GrokStacks
- Not yet
Listed on GrokStacks badge
Maintain Math Proof? Add the badge; it links to this page.
Markdown
[](https://grokstacks.com/p/math-proof/)HTML
<a href="https://grokstacks.com/p/math-proof/"><img src="https://grokstacks.com/badge.svg" alt="Listed on GrokStacks" width="164" height="28"></a>