ツール

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.

Voice skills: TTS with subtitle timing, emotional character voices, translated dubbing, two-host news podcasts, sound effects and songs. Narration and podcasts work with local Kokoro or free voices; emotion, cloning, dubbing, effects and songs need a Noiz API key. Never clone voices to deceive.

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.

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.

Automatically aligns subtitles to audio and video with a neural network, and can transcribe subtitles with Whisper or translate them with local models; supports 10+ formats such as SRT, TTML and SCC. Needs Python 3.9-3.12 and FFmpeg; transcription and translation need the llm extra.

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.

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.

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.

Deploys HTML or full-stack projects generated by agents to Tencent Cloud EdgeOne Makers and returns a public URL; supports both the international and China sites. Maintained by Tencent Cloud EdgeOne (formerly EdgeOne Pages MCP); sign in via browser or set an API token.

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.

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.

Lets agents run local ComfyUI workflows to generate images, audio and video, regenerate from earlier results with new parameters, check the queue and switch models. Install and start ComfyUI, then clone this repo and run the server with Python (port 9000 by default).

Resend's official email CLI: send email and manage domains, API keys, contacts, broadcasts and webhooks, with automatic JSON output outside a terminal and a bundled agent skill. Needs a Resend API key; a free plan is available.

One learn-faster command turns Claude Code into a learning coach: builds a syllabus for your level, schedules spaced review, sets exercises and tracks progress, with an exam-prep mode. Needs uv and Claude Code; Codex: run learn-faster init --agent codex (lighter onboarding).

Translates SRT subtitles or plain text in batches through any OpenAI-compatible API, stripping timestamps and other overhead to save tokens, keeping output line-aligned with the source, and resuming interrupted jobs. Needs Node.js 20+, a source install and an OpenAI API key or local Ollama.

Official Databricks skills guiding agents to build Lakeflow pipelines and jobs, Apps, Lakebase, Vector Search, Model Serving and AI/BI dashboards on the lakehouse. Needs the Databricks CLI.

Official Databricks plugin with skills for the CLI and auth, Genie data queries, Apps, Lakebase, Lakeflow jobs and pipelines, Model Serving and DABs deployment, plus hooks for prompt routing, session context and auth failure hints. Needs a Databricks account.