Tools

Todoist's official MCP: lets agents find, create, update and complete tasks and projects and view to-dos by date. Use the hosted remote server with OAuth sign-in, or embed it as a tool library in your own AI app.

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.

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.

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.

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.

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.

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.

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.

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.

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

Notion's official Claude Code plugin: bundles Notion's hosted MCP with four Cookbook skills (knowledge capture, meeting prep, research write-ups, spec to implementation) and slash commands for searching, creating pages, querying databases and creating tasks. OAuth sign-in.

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.

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.

Microsoft Teams MCP open-sourced by Inditex: read messages in a set channel, start threads, reply and @mention members, and list members. Requires an Azure app registration and a Teams bot (usually with IT admin help); runs via Docker or Python 3.12 with uv.

Product decision skills built on the Advanced JTBD method: market and segment research, value propositions, PRDs, launch copy and growth plans, and customer interview analysis. Install into your project with the repo's one-line script; outputs are hypotheses to test, not conclusions.

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.

Typed as /bro, has the agent re-explain its previous reply in plain, casual language without answering anything new or calling tools, keeping paths, commands and numbers verbatim and replying in the original language.

Lets agents manage Trello boards, lists, cards, checklists, comments and attachments, switch between boards and workspaces, and handle API rate limits automatically; useful for admin work, event planning and project tracking. Needs a Trello API key and token, plus Node.js.