ツール

Manage Argo CD in natural language: list and inspect applications, create, update and delete them and trigger syncs, and view resource trees, workload logs and events. Maintained by Argo Project Labs; needs your Argo CD URL and an API token, with an optional read-only mode.

Fetches captions and transcripts for YouTube videos and Shorts, with language selection and fallback, optional timestamps and sponsor segments filtered by default. No API key for transcripts; the optional visual analysis tool needs a TwelveLabs API key and a direct video URL.

Chroma's official MCP: lets agents create and manage collections, add documents, and retrieve them with vector search, full-text search and metadata filters. Connects to in-memory or local persistent stores, self-hosted instances or Chroma Cloud.

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.

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.

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.

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.

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

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