도구

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Anthropic's official skill that reads outpatient notes like a medical coder, decides which diagnoses to report and assigns billable ICD-10-CM codes as specific as the record allows, verified via the ICD-10 connector in the healthcare plugin. US outpatient; certified coder review required.

Anthropic's official skill for US prior auth review: checks records, provider credentials and codes, weighs medical necessity against Medicare policy, recommends approve, deny or pend and drafts the letter. Needs the healthcare plugin's CMS, NPI and ICD-10 connectors; clinicians confirm.

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.

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