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

The financial data layer for AI agents. Open-source alternative to FactSet / Daloopa / S&P Global for AI agents. 165+ US equities with full SEC filing history. 31 Claude-type skills. 20+ MCP tools.

An unofficial agent skill for drafting, revising, and auditing clear technical and product documentation.

The core philosophy of fp-pack is simple: It's a pipe-first toolkit for everyday code—approachable, zero-deps, and tree-shakeable.

Extract Markdown, JSON (with bounding boxes), and HTML from any born-digital PDF — deterministically, in milliseconds, on CPU.

(build 20260317.0002) — 面向所有支持 Skill 的 Agent 平台,提供六维深度安全分析和 S+ ~ D 等级评估

is a modern, modular JavaScript/TypeScript UI library for building fast, interactive, and beautiful web applications.

This repository provides open-source Agent Skills for planning, drafting, revising, translating, and polishing SCI/SSCI papers while preserving meaning, data, citations, limitations, and claim...

The fastest, most token-efficient way for AI agents to control Chrome.

These skills follow the Agent Skills specification so they can be used by any skills-compatible agent, including Claude Code and Codex CLI.

Not affiliated with X Corp. "Twitter" and "X" are trademarks of X Corp.

这是一个面向 Windows 桌面微信的自动化发信工具,核心能力是通过 uiautomation 控制已登录的微信客户端发送文本、图片 URL 或本地文件。项目提供两种入口:

普通润色工具帮你改句子,:对象是否明确,工况是否成立,baseline 是否公平,实验是否真的支撑 claim,图表双栏缩放后是否还能读,返修回复是否有证据。