Tools

Recreates the deprecated Explanatory output style with a SessionStart hook: adds Insight notes before and after code that explain implementation trade-offs and codebase conventions. Official Anthropic plugin; uses extra tokens.

Learning mode: at key decision points such as business logic or error handling, asks you to write 5-10 lines of code yourself while explaining the trade-offs. Official Anthropic plugin built on a SessionStart hook; uses extra tokens.

Compiles Markdown chapters into an online book with a table of contents, full-text search and themes, good for manuals, lecture notes and course material; agents can edit chapter files and rebuild to preview. Maintained by the Rust team; install a prebuilt binary or via cargo.

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.

Open-source AI presentation generator that builds slides from a topic or uploaded documents and exports PPTX or PDF, with a built-in MCP endpoint for agents. Good for lesson decks and reports. Self-host with Docker and configure an LLM API key, then have an admin create an MCP key.

Turns any codebase into an interactive browser course: real code with plain-language explanations, animations, hover glossaries and scenario quizzes. Built for people who build software with AI but can't read code, and useful for intro programming classes. Needs only an agent and the repo.

Explains a codebase, feature, command or pull request to someone new to it as a PR Lens canvas: one plain sentence first, then a walkthrough that grows the diagram from two boxes to the whole picture, delivered as a shareable link. Requires the PR Lens skill and its npx CLI.

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.

Adds /learn commands to 30+ agents including Claude Code, Codex and Cursor: knowledge maps, layered Socratic explanations, quizzes and spaced review, with a visual learning dashboard. Geared to self-study of programming and other technical topics; needs Node.js 20+.

One learn-faster command turns Claude Code into a learning coach: builds a syllabus for your level, schedules spaced review, sets exercises and tracks progress, with an exam-prep mode. Needs uv and Claude Code; Codex: run learn-faster init --agent codex (lighter onboarding).

Leads a visible, verified code walkthrough in Neovim: confirms real behavior by running code, then authors one immutable Navi tour with short notes the viewer steps through, optionally recorded with OBS. Requires Terminal Control (termctrl), Neovim 0.10+ and navi.nvim.