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

Minimalistic, project-agnostic skills and rules for AI coding agents

Central marketplace for Claude Code plugins by xiaolai

⛰️ The Life Operating System — an intent engineering platform that moves you from your current state to your ideal state, in life and work.

the npx companies tool

完整源码逆向工程技能:把存量源码逆向为功能/实现/架构/接口/对象/组件/数据库完整元模型,深度定制于 Java Web 与 Java 微服务(Spring Boot/Cloud)。支持 WorkBuddy / Claude Code / Codex。

is a skill (instruction set) for AI coding agents — like Claude Code, Gemini CLI, Codex, Cursor, and others — that enables them to generate professional presentation slides as a .

Give your AI agent eyes to see the entire internet. Read & search Twitter, Reddit, YouTube, GitHub, Bilibili, XiaoHongShu — one CLI, zero API fees.

An AI agent that finds keywords, writes content, builds backlinks, monitors rankings, and self-improves. Four skills that chain into a compounding loop.

(@daedalium) — solo capitalist and venture builder operating as a "Holding Company of One" from Dubai. Early investor in Stripe, Algolia, PayFit, Trainline.

AI-powered hardware development platform — design, verify, synthesize, and deploy working RTL with natural language.

AGENTIC CODING Basic for Junior Developers

Custom extensions and skills for pi coding agent.