Claude Desktop インストールガイド
ローカル MCP 設定に対応するデスクトップクライアント。
MCP Servers

MCP server that gives LLMs access to formal verification via Z3 (SMT solver) and SWI-Prolog (via prolog-wasm-full, includes library(clpfd)), plus tree-sitter-based source code analysis.

The MCP Code Executor is an MCP server that allows LLMs to execute Python code within a specified Python environment.

MCP server that implements Claude Code's agent teams protocol for any MCP client.

iida-mcp 是一个 IDA Pro 插件,通过本地 HTTP MCP 服务暴露当前 IDB 的静态分析能力。

Superhuman Mail MCP Server

An MCP server that slurps data from Google News and Google Trends RSS endpoints, optionally distills it with LLM/NLP, and barfs out structured results.

MCP Client as Agent Strategy Plugin with Computer Using Agent (UI-TARS-SDK) support. Dify is not MCP Server but MCP Host.

— DSGVO, BFSG Barrierefreiheit und Einwilligungs-Widerruf. Auf Basis echter Gesetzestexte via rechtsinformationen.bund.de MCP.

Claude Code skills that let Claude interact with Web of Science (WoS) through Chrome DevTools MCP.

小红书自动评论工具(MCP Server) 这是一款基于 Playwright 开发的小红书自动搜索和评论工具,作为 MCP Server,可通过特定配置接入 MCP Client,帮助用户自动完成登录小红书、搜索关键词、获取笔记内容及发布智能评论等操作。

Arm's MCP server

kiro SPEC mode impl by mcp
Agent Skills

消除中文 AI 写作痕迹的 Claude Skill:拆排比三件套、去名词化、换抽象主语为具体细节。灵感来自 hardikpandya/stop-slop。

Analytics and health monitoring for Claude Code skills.

A general-purpose framework for automatically generating specification documents — for maintenance engineers or end customers — from legacy or active codebases.

A collection of Claude Code skills that help security teams stay secure

Team of Codex agents that collaborate through a spec-driven development process. Full Stack Developer parent orchestrates dynamically sized pools of specialists: Coding, DevOps, Review, and Solutions...

让 AI 助手直接操控你的 Android 手机 —— 支持 Skill 和 MCP 两种接入方式

All-in-one intelligent assistant powered by LlamaIndex — RAG, GraphRAG, NL2SQL, Skills & Memory with multimodal support.

把中国法院的类案裁判方法,编译成 AI 可以调用、普通人也能听懂的法律问答 skills。

An AI filmmaking skill by Leos, bringing together six directing roles for scene planning, performance, staging, cinematography, video prompts, and continuity review.

A free AI Skill for writing posts you're proud of with ChatGPT, Cursor, and Claude.

Prediction market harness for AI agents — skills, MCP server, and Python SDK

MIT · Codex / Claude Code compatible · Contact: Space