Claude Desktop 설치 가이드
로컬 MCP 설정을 지원하는 데스크톱 클라이언트.
MCP Servers

Lean Theorem Prover MCP

Spec-Driven Development MCP Server, not just Vibe Coding

Enable AI agents to work reliably - giving them secure access to structured data, tools to take action, and the context needed to make smart decisions.

The Official Model Context Protocol (MCP) server for Kagi Search & other tools.

A hands-on workshop, presented at AI Engineering Conference Europe, building a multi-agent AI system with two MCP servers: a and a . Both connected to a harness like Claude Code or Cursor.

TDA - Thread Dump Analyzer (for Java). Analyze your Thread Dumps with a GUI or use it as MCP Server.

An MCP for Godot that lets you create and edit games in the Godot game engine with tools like Claude

Local codebase intelligence CLI + MCP server for AI coding agents: SQLite code graph, 28 languages, 287 commands, 246 MCP tools, change-safety gates, audit evidence, zero API keys.

MCP server exposing SSH control for Linux servers via Model Context Protocol.

一款支持godot开源引擎的的mcp插件,支持常见godot引擎操作,一键配置服务。This is an MCP plugin that supports the Godot open-source engine, offering support for common Godot engine operations and one-click service configuration.

Search Airbnb using your AI Agent

MCP servers for the UniFi suite of applications, Network, Protect, Access, and Drive
Agent Skills

This repository provides a framework for evaluating skill utility under progressively realistic conditions: from hand-curated skills to retrieval from a noisy pool of 34k real-world skills.

A powerful document analysis and query system based on Retrieval-Augmented Generation (RAG) technology, integrated as a Trae SKILL.

童锦城 语录 提炼 skill,爱别人之前先学会爱自己

A collection of Claude Code custom skills and agent definitions that enforce disciplined, worker-routed AI-assisted development workflows.

xhs-skill,自动发布笔记:标题。正文,配图到小红书

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

AI 八字 + 紫微斗数排盘与综合印证 Skill(基于 mingpan + iztro 开源库):算法精准排盘(不靠 LLM 猜),三种分析模式,一键生成水墨风 HTML 命盘海报。兼容 Claude / Codex / Cursor / Workbuddy 等 SKILL.md Agent。

Ontology-driven WorkBuddy skill for requirements discovery, domain modeling, and app generation | WorkBuddy 需求探索、本体建模与领域应用生成器

Not an AI, just a local echo of someone you love. 把逝去亲友的数字遗物蒸馏成纯本地运行的 MCP Skill,为思念写一段永不超时的回调函数。

汇聚李梦圆、小马哥、站长、白鹭、袁东、单淑玲、飞扬七位申论名师公开教学精华,覆盖五大题型、十五个文种、上百条规范表达,让你从"不会写"到"写得对"

A comprehensive mathematical reasoning skill for AI assistants — arithmetic to research-level problems with rigorous verification.

A collection of custom Claude Code skills by Tian Chen.