ツール

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 ClickHouse skills: best practices for schema design, primary keys, JOINs and inserts ranked by impact, advice on real-time architecture decisions, in-process SQL and pandas-compatible analysis with chDB, and local and cloud deployment workflows.

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.

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.

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

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.

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.

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.

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.

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.

Official Tavily skills: let agents search the web, extract page content, discover site URLs, crawl in bulk and run cited deep research through the Tavily CLI (tvly). Install the CLI first; search and extract have a limited no-login tier, other features need sign-in or an API key.

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.

Lets agents work with Salesforce orgs authorized on your machine: SOQL queries, metadata deploy and retrieve, Apex test runs and permission set assignment, plus toolsets for LWC development. Maintained by Salesforce; authorize your org with the Salesforce CLI first.

Lean 4 theorem-proving plugin with workflows to draft, formalize, prove, disprove, review and golf proofs, plus mathlib search, axiom checks and safety guardrails, helping mathematicians and teachers produce machine-checked proofs. Needs Lean 4 and mathlib; pairs well with lean-lsp-mcp.

Write a script, speakers and visuals in MulmoScript (JSON or YAML) and the mulmo command generates narration and images and assembles a video, podcast, slide deck or PDF, for explainer videos. Needs Node.js, FFmpeg and an OpenAI API key; other providers optional.

Astronomer's official data engineering plugin: write Airflow DAGs to best practices, debug pipeline failures, trace data lineage, profile warehouse tables and migrate from Airflow 2 to 3, with a built-in Airflow MCP server and session hooks.