Skills and MCP tagged “math”

math-olympiad official Anthropic skill Solves competition math problems from IMO, Putnam, and USAMO using adversarial verification and pure reasoning without computation tools. Claude Code 4,024installs manim-video SHL0MS, Hermes Agent skill Builds Manim CE projects for math, algorithm, and technical animations. Useful when an AI agent needs to turn an explanation into a rendered video. Claude Code CX Codex Cursor +1 455installs siege official Anthropic skill Runs iterative rounds on a hard math problem using subagents and maintains a proof ledger. It helps test mathematical claims without manually driving each step. Claude Code 658installs solo official Anthropic skill Solves hard math problems in one session without sub-agents, logs each step in notes.md to survive message limits, and produces a standalone proof.md. Claude Code 657installs geometry-and-math phaserjs skill This skill provides access to Phaser 4 utilities for vectors, rectangles, circles, and polygons. Use it for distance and angle calculations, collision detection, and generating random points inside shapes. Claude Code CX Codex Cursor +1 803installs manimce-best-practices adithya-s-k skill A skill that steers the agent through Manim Community Edition: scenes, MathTex, 3D, camera work. Useful once a project starts with from manim import *. Claude Code CX Codex Cursor +1 3,900installs