Tools

33 cognitive-science-based tutoring skills for K-12 math and science, exam prep, university subjects, academic writing and job interviews, using Socratic questions and spaced review rather than giving answers. In Chinese and English; copy the skills folder into your agent manually.

Research workbench that turns paper PDFs into a searchable library so Claude Code or Codex can find and close-read papers, draft reviews and manuscripts, answer reviewer comments and check citations. Imports from Zotero and EndNote. Needs Python 3.10+; an LLM API key is optional.

Converts between Markdown, Word, HTML, LaTeX, EPUB and more with Pandoc, exports PDF and PPTX, and can apply a Word template for consistent styling, handy for formatting manuscripts and handouts. Needs Pandoc and uv; PDF export also needs TeX Live.

Resend's official MCP: lets agents send and receive email and manage contacts, broadcasts and sending domains. Use the hosted remote server with OAuth sign-in, or run the npm package locally with a Resend API key.

Give it a YouTube video, web article or PDF link and it extracts the transcript or text, then builds a five-round Ship-Learn-Next action plan saved as Markdown, for self-study. Needs CLI tools such as yt-dlp and pdftotext; videos default to English subtitles.

Turns transcripts, articles or course notes into a Ship-Learn-Next plan: set a 4-8 week goal, split it into five rounds of shippable practice with the first due this week, and add reflection questions per round. Saved as Markdown; prompt-only, nothing else to install.

Official ElevenLabs skills: text to speech, speech to text, sound effects and music generation, voice changing, vocal isolation, multilingual dubbing and building voice agents. Needs an ElevenLabs API key.

Lets agents work with Anki flashcards: review due cards and grade them, create cards in bulk, manage tags, media and note types, and view study stats. Needs Anki Desktop with the AnkiConnect add-on; still in beta.

Uses yt-dlp to pull YouTube subtitles into the agent, so asking it to summarize a video gets you the key points; handy for teachers prepping lessons, researchers and creators. No API key, but needs yt-dlp (Homebrew or WinGet) and Node.js.

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.

Post-draft polishing skills for English LaTeX papers, Chinese theses (GB/T 7714) and Typst manuscripts: compile diagnostics, format and grammar checks, reference verification, reviewer-style assessment, cover letters and defense slides. Needs Python, uv and TeX Live; academic use only.

Official HeyGen skill: translates existing videos into 175+ languages with dubbing that clones the speaker's voice and re-syncs lips; you can proof subtitles before rendering. Needs a HeyGen account with credits and an API key plus HeyGen CLI, or the HeyGen MCP.

Google's official security MCP servers for Google SecOps (Chronicle), SecOps SOAR, Google Threat Intelligence and Security Command Center: investigate alerts, hunt threats, look up IOCs and review cloud risks. Needs Google Cloud credentials or a VirusTotal API key.

Explore and analyze local KiCad projects in natural language: inspect schematic connections, export BOMs, run DRC checks, render PCB previews and recognize common circuit patterns. Needs KiCad 9+, Python 3.10 and uv; clone and install, set your project directory in .env, then register it.

Lets agents query Prometheus metrics with PromQL and browse metric metadata and scrape targets to help investigate alerts and performance issues. Supports basic auth, bearer tokens and multi-tenancy; Docker is the recommended way to run it.

Connects Stata to VS Code or Cursor and exposes a local MCP endpoint so Claude Code or Codex can write and run do-files and read regression output, with graphs shown in the editor; for empirical research. Needs a licensed Stata 17+, the extension installed and the editor open.

68 trading and quant skills focused on crypto and DeFi: market and on-chain data, technical indicators, backtesting, position sizing and risk, prediction markets, and tax tools for cost basis and wash sales. Most need Python and data API keys (often free tiers); get expert review.

Third-party LSP plugin marketplace with 30+ language server plugins, including TypeScript, Python, Rust, Go, Java, C/C++, Vue, Svelte, Elixir and Haskell, covering more languages than the official set. Requires Claude Code 2.1.50+; install the language servers yourself.

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+.

Official Firebase skills: CLI and project setup, Authentication, Firestore, Hosting and App Hosting, Data Connect, Remote Config, Crashlytics, AI Logic, and writing and auditing security rules. Most use the Firebase CLI and need a Firebase project.

Official Firebase skill: install and sign in to the Firebase CLI, create and switch projects, download app config files such as google-services.json, and set up the other Firebase skills for Auth, Firestore, Hosting and more.

Lets AI do feature-based modeling in SolidWorks: sketches, extrudes, sheet metal, assemblies and drawings, exporting STEP, DXF or PDF, and can rebuild 3D parts from DXF/DWG drawings. Needs Windows, SolidWorks 2026, a Visual Studio build of the C# layer and a Python adapter; early prototype.

Semantic search over past Claude Code, Codex and other agent sessions: indexes each conversation when it ends and recalls past discussions, decisions and trade-offs via MCP tools and a subagent. Embedding and search run locally. By the author of Superpowers.

AI agents collaborate via the ADDIE instructional design model: enter a course name to get a syllabus, LaTeX slides, lecture scripts and assessments, convertible to editable PPTX. Open-source code for an EACL 2026 paper; needs an OpenAI API key, LaTeX for PDFs and Node.js for PPTX.