Tools

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.

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.

Paper review skills by economist Claes Bäckman: eight subagents simulate journal referees for a pre-submission report, plus quick checks, paper-code consistency checks, reviews of pre-analysis plans and grant proposals, and rewriting papers as policy briefs. Mainly for LaTeX manuscripts.

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.

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.

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.

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.

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.

Appium's official MCP server: lets agents start sessions on Android and iOS emulators and real devices, locate elements, tap, type and take screenshots, and generate Java/TestNG test code. Needs the Android SDK or Xcode.

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.

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.

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.

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.

Research guardrails for PhD students: reproduce arXiv papers, debug training anomalies with evidence, compare runs at matched epochs, check paper-code consistency, verify BibTeX, find literature gaps and predict reviewer comments. No MCP or extra dependencies; mostly for ML research.

Read and write Airtable bases: view table schemas, search, create and update records and add comments, handy for sign-up lists, project tracking, clients and content pipelines. Needs an Airtable account with a personal access token, and Node.js.

Anthropic's official healthcare plugin for the US system: extract data from clinical notes, assign ICD-10 and CPT/HCPCS codes, review prior auths, screen for fraud and draft trial protocols, with hosted CMS, NPI and PubMed connectors. FHIR access needs API rights; clinicians must review.

Two skills for the MCM/ICM and China's CUMCM math modeling contests: solver breaks down problems, picks models from a 95+ scenario decision matrix and gives Python or MATLAB templates; paper coaches abstracts, model validation and formatting from winning papers. Needs Python or MATLAB.

Install the QGIS MCP plugin from the QGIS plugin repository and agents get 125 tools to manage layers, edit features, run processing algorithms, style maps, build layouts and atlases, and run SQL across layers; supports QGIS 3.28 to 4.x. Needs QGIS and uv; no repo download required.

Browser automation MCP built on Selenium WebDriver for Chrome, Firefox, Edge and Safari: locate elements, click and type, upload files, take screenshots, run scripts, and handle alerts and cookies. A good fit for test teams already using Selenium.

Official FinLab quant skill: lets agents use FinLab data (mainly Taiwan stocks, plus US, Japan, Korea and Hong Kong) to write stock-picking strategies, run backtests and analyze factors. Needs a FinLab account (free tier has a daily data cap), Python 3.10+ and uv. Not investment advice.