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

· 中文 · Asta MCP Overview · Request API Key

Curated workflow recipes that combine hooks, MCP servers, skills, agents, and CLAUDE.md to automate real development tasks in Claude Code.

An agent skill that writes high-quality prompts for any LLM (Claude, Claude Code, ChatGPT, Gemini, Cursor, Windsurf, etc.

覆盖 Vibe Coding 产品开发、skill 创作与深度学习三类工作。所有 skill 采用标准 SKILL.md 格式,同一份内容在 Claude Code、Codex、OpenClaw 三个平台通用,遵循 Agent Skills 开放标准。

大家好,我是**,研二在读,电子信息专业。目前主要做 、 相关内容。全网10w➕粉丝,感兴趣的朋友也可以关注一下我的抖音:小北在读研

一套完整的學術研究 Skill 套件,符合 Agent Skills 開放標準。支援 、、。

14 AI agents, one install, idea to production.

This is an example project for Astro 6 and Strapi 5 (latest). It is a simple project that uses Astro and Strapi to create a website with a landing page, a blog, and a contact form.

The Anti-Slop Frontend Framework for AI Agents

把论文、图注、开题材料、研究方案和参考图,编译成可复制、可校对、可控的 AI 科研绘图 prompt。

Installable Codex Skills distilled from Mao Zedong and Chiang Kai-shek. This repository is a public release package for historical reasoning frameworks, strategic decision support, resilience...

Official skills for using Brave Search API with AI coding agents.