Tools

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.

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.

Generates favicons, PWA app icons and Open Graph share images for social platforms from a logo, text or emoji, in every required size with text contrast checks, and can add the matching tags to your web project. Needs Python and Pillow.

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.

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.

Develops an original visual language for a brand, campaign, publication, site or product. Without looking at contemporary design, it builds ten typography-only HTML directions; once you lock one, it turns it into a production system. Not for routine UI fixes or existing design systems.

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.

Design token CLI (formerly Cobalt UI): reads W3C DTCG tokens for color, type, spacing and more, validates them and generates CSS, Sass, JS/TS, Swift, Tailwind and other code via plugins. Runs in CI so design specs flow into code automatically. Needs a Node.js project.

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.

Design engineering skill that steers agents away from generic AI-looking UI when building dashboards and landing pages, reviews interfaces for usability and adds motion and polish. npx installs the skill only; slash commands, MCP quality gates and review agents need the CLI or plugin.

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.

Creates a blueprint-style animation that explains UX decisions step by step for case studies and posts: rebuilds changed parts between Before and After screens, or annotates each module of one screen. Reproduces Figma frames 1:1; CC BY-NC 4.0, non-commercial only.

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.

Makes a product film (landing-page loop, launch video, promo, demo reel) in code with Remotion, reusing the product's own design system, components and voice. It interviews the user first, then writes the story, syncs scenes to music beats, reviews stills in loops and verifies the final render.

Applies a Scandinavian visual system: black-and-white neutrals with alpha ink for hierarchy, restrained sans-serif type, generous spacing, clear page chapters and minimal decoration, without sacrificing clarity or accessibility. Has apply, review, prototype and deep modes; manual invoke only.

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

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.

Hands Figma node layout, styles and images to AI coding tools to turn into high-fidelity HTML/CSS, React or Tailwind code, and downloads design images locally. Needs a Figma personal access token; sends basic usage stats; switch to the plugin version if you hit Figma API rate limits.

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.

Generates and edits images with Google's Gemini image model (Nano Banana) at up to 4K, keeping multiple characters consistent, rendering accurate text and setting aspect ratios. Needs a Gemini API key (or Vertex AI) and uv. Community project, not by Google.