Tools

When answering questions about using Claude and its products, attaches a matching course, tutorial or case study from the Claude Academy catalog. Recommends only strong matches and never invents courses. Official Anthropic skill.

Built-in gws CLI skill: lets agents create Google Forms, add or edit questions in bulk, publish and read responses, handy for sign-ups, surveys and class feedback. Needs gws with a Google account authorized via your own Google Cloud project; not an officially supported Google product.

Open-source zero-shot TTS via f5-tts_infer-cli: from a few seconds of reference audio it reads Chinese or English text in the same voice, handy for lessons and videos. Needs Python, PyTorch and FFmpeg, ideally a GPU. Pretrained models are non-commercial; get consent before cloning a voice.

A three-stage workflow for math modeling contests like MCM/ICM and CUMCM: analysis, solving and plotting in Python or MATLAB, and a Word (optionally LaTeX) paper, with stage-check subagents and OpenAlex plus AnySearch literature search. Generated papers are for reference only.

Econometrician Pedro Sant'Anna's academic Claude Code setup (fork the repo to use it): Beamer/Quarto lecture slides, paper review and mock refereeing, R/Python analysis and replication packages, with specialist subagents and quality gates. Needs Git and Python; slides need XeLaTeX and Quarto.

DAIR.AI Academy lesson-planning plugin: from a topic or source material, builds an interactive mini-course of 6-8 lessons, each with goals, flashcards and a quiz, plus a final review, citing sources when you supply material. Output is local HTML; no server or account needed.

MCP server for the Lean 4 theorem prover: lets agents read proof goals, diagnostics and definitions and search theorems via LeanSearch and Loogle, helping mathematicians and students with formal proofs. Needs uv and the Lean toolchain; run it from the Lean project root.

Two skills for the MCM/ICM and China's CUMCM math modeling contests: solver breaks down problems, picks models from a 95+ scenario decision matrix and gives Python or MATLAB templates; paper coaches abstracts, model validation and formatting from winning papers. Needs Python or MATLAB.

Wolfram's official agent tools: use the Wolfram Language and Wolfram|Alpha for symbolic and numeric math and scientific and statistical data, for teaching and research. The command runs the official Docker image with a free developer license; Wolfram 15+ users can install it in the app.

EduBase's official MCP: teachers and trainers can generate questions in bulk, build question banks and exams, schedule tests, manage classes and learners, and analyze results. Needs EduBase API credentials (App ID and secret, from Integrations; code MCPGITHUB unlocks it) and Node.js.