ツール

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.

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.

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.

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.

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.

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.

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.

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.

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.

200+ skills for construction firms: export Revit, IFC and DWG quantities to Excel, estimate with international unit rates, produce daily and photo site reports, and track budget and schedule variance. Needs Python 3.9+; Revit/DWG conversion is Windows-only; some need Docker or an OpenAI key.

Connects to self-hosted or managed Nextcloud so agents can manage files, calendars, contacts, notes, Deck boards and mail, and read PDF and Word content (OCR for scans is opt-in); suits teams that value data ownership. Needs a Nextcloud account with an app password, and uv.

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.

McNeel's official Rhino MCP: lets Claude, Codex and other agents model, edit and organize layers in Rhino and Grasshopper, for architectural concepts and product forms. Needs licensed Rhino 8 or 9; install Rhino-MCP-Platform from the package manager and connect with MCPConnect.

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

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.

Describe the video you want and the agent builds a reproducible edit project: footage, storyboard, bilingual subtitles, transitions, intro and outro, rendering and QA. Needs Node.js and ffmpeg; AI voice and assets need ListenHub. Science mode uses the author's voice and outro by default.

Socratic teaching skill: when your message includes Socrates or socratic, the agent reads the code, docs or PDF you provide and guides you to the answer through layered questions instead of giving it away. Good for tutoring and self-study; prompt-only, nothing else needed.

Official MCP for Plane, the open-source project management tool: lets agents read and manage projects, work items, cycles, modules and releases, with PQL queries. Use the hosted server with OAuth, or run locally via uvx with an API key; works with self-hosted Plane.

Manage Anki cards from the command line: add notes in bulk from Markdown and list or review cards by query, without Anki running. Needs an existing local Anki database and profile; not an official Anki project.

Leads a visible, verified code walkthrough in Neovim: confirms real behavior by running code, then authors one immutable Navi tour with short notes the viewer steps through, optionally recorded with OBS. Requires Terminal Control (termctrl), Neovim 0.10+ and navi.nvim.