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.

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.

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.