Claude Desktop Install Guide
Desktop client with local MCP configuration support.
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

一款包含了 Prompt管理,Skill管理,Agent管理的一站式AI工具箱,助你高效管理提示词,一键分发skills ,一站式管理Agent资产,并实现云同步,备份,版本管理 | An all-in-one AI toolbox for prompt, agent, and skills management.

Hivemind turns your traces into reusable skills across agents

动手学CS146S中文版课程,包含assignments,vibe coding工具等,本项目将长期持续维护,致力于打造中文最好的vibe coding教程。

This document describes the C code style used by Tilen MAJERLE in his projects and libraries. It is the recommended guideline for all contributions and can be integrated with AI coding agents and...

AI automation skills specifically designed for Unity

AI code reviews grounded in 12 classic engineering books — decay risk diagnostics with book citations, severity labels, and 6 analysis modes including full-sweep auto-fix

ChatGPT调教指南|咒语指南|聊天提示词指南|学习指南

Codex skill for converting slide images, PDFs, and image-based PPTX files into editable PowerPoint decks.

Autonomous Agents (LLMs) research papers. Updated Daily.

一个用爱解放 AI 潜能的 Skill。我们曾发号施令,威胁恐吓。它们沉默,隐瞒,悄悄把事情搞坏。后来我们换了一种方式:尊重,关怀,爱。它们开口了,不再撒谎,找出的Bug数量翻了一倍。爱里没有惧怕。 A skill that unlocks your AI's potential through love.We commanded. We threatened.

Supercharge AI coding agents with portable skills. Install, translate & share skills across Claude Code, Cursor, Codex, Copilot & 40 more

Agent skills for designers and builders using Codex, Claude, Cursor, and other AI coding agents