Math plugins, skills & connectors for Grok Build
2 math listings on GrokStacks: 2 plugins (2 claude code compatible). Each page shows what the listing contains and the install command exactly as its own docs state it.
Order: official Grok Build marketplace listings first, then hand-checked community listings, then Claude Code compatible plugins, alphabetical within each group. This is not a ranking.
Math Olympiad
Solve competition math (IMO, Putnam, USAMO) with adversarial verification that catches what self-verification misses. Fresh-context verifiers attack proofs with specific failure patterns. Calibrated abstention over bluffing.
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.