도구

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 create, move and scale components in SketchUp, set material colors, read scene info, export models and run Ruby scripts, for quick massing models. No prebuilt package: pack the extension as .rbz, install it in SketchUp and start the server; needs uv.

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.

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.

IFClite's built-in MCP server: lets agents query and modify IFC models, run clash detection, IDS validation, version and quantity diffs, export CSV, GLB and more, and color or isolate elements in a browser 3D view. Just Node.js and an IFC file; read-only mode available.

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.

CLI for the open-source IFClite BIM toolkit: inspect models, query element properties, build door and window schedules, validate against IDS, run clash detection, diff versions, merge and convert, with JSON output; ifc-lite mcp lets agents query and edit BIM data directly. Needs Node.js.

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.

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.

Customer success plugin from gtm-agents: three commands with subagents for account health monitoring, adoption plans and escalation playbooks, plus skills for risk scoring, executive business reviews (EBRs) and feedback loops. Prompt-only; bring your own usage, ticket and NPS data.

Voice of customer plugin: organizes tickets, interviews, surveys and community feedback into one taxonomy, estimates revenue and churn impact by theme, produces insight briefs for leadership or product, and tracks feedback loops and advocacy programs. No code; supply your own feedback data.

Drive Autodesk Revit with AI: query elements, create walls, doors, windows, floors, grids, levels and rooms, tag in bulk and take material quantities. Needs Revit 2020-2026 on Windows and Node.js, with the plugin from Releases placed in the Revit add-ins folder.

Renewal management plugin for customer success and account managers: segment-based renewal forecasts with upside and downside scenarios, save plays and escalation paths for at-risk accounts, and post-renewal retrospectives. Prompt-based; you supply contract values, usage and other data.

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.