Claude Desktop インストールガイド
ローカル MCP 設定に対応するデスクトップクライアント。
MCP Servers

An MCP server for automated first-order logic reasoning using Prover9, Mace4, and an onboard reasoning LLM.

A Model Context Protocol (MCP) server that allows Claude and other MCP clients to connect to Aider for efficient file editing capabilities.

tmux-mcp-rs is a Model Context Protocol (MCP) server for tmux. It lets MCP clients create sessions, shape windows and panes, run tracked commands, inspect output, manage tmux buffers, and drive...

An MCP server that provides tools for analyzing Instagram engagement metrics, extracting demographic insights, and identifying potential leads from Instagram posts and accounts.

Windows-first local AI-agent runtime and MCP gateway 214 configurable tools for local files, Git, processes, Windows automation, WSL, browser control, indexing, observability, and extensibility; 208...

* 您问AI:"我的服务器现在怎么样?" * AI直接查看您的Grafana监控,回答:"CPU使用率偏高,建议检查这几个进程..."

Actual MCP Server is a Model Context Protocol server that connects any MCP-compatible AI assistant (such as LibreChat, LobeChat, Claude Desktop, and more) directly to your self-hosted Actual Budget...

is an AI-native automation framework that enables AI assistants to control Windows systems through natural language commands.

— turn any instance (15 → 19) into an via the . 197+ tools, multi-tenant, (НАП, ДДС, ЕИК) included.

Use the hosted remote MCP server: add https://mcp.webscraping.ai/mcp to your MCP client and sign in with your WebScraping.AI account — OAuth handles auth, no API key or local install needed.

A Model Context Protocol (MCP) server for Bentley STAAD.Pro that like Claude Desktop, Gemini, or VSCode Copilot and perform various time-consuming tasks like load cases definition, data extraction,...

A Model Context Protocol (MCP) server that provides web search capabilities through Google's Custom Search API.
Agent Skills

雅思自学 skills,用于搭配 ClaudeCode 自学雅思,功能丰富好用

AI-powered job search assistant for Indian professionals — built as a Claude Skill.

为电影改AI影视而生,面向 Agent 的电影级画面 Prompt Skill,专门生成 HBO / 好莱坞质感的生图提示词与 LOOK 迁移、一致性方案

ModelEvo: Business-Aligned Model Evolution Framework — 一套以业务为导向、由 Skill 编排的业务建模演化框架。

OmniBox-Spider-Skills 是一个面向 OmniBox 爬虫开发的技能仓库,提供可复用的技能说明、规则约束与结构化参考文档,帮助开发者更快完成爬虫源的编写、调试、回归检查与持续维护。

Skill to generate the knowledge vault for projects using the Ralph loop

A structured failure-analysis workflow that assumes your plan already failed and works backward to find every reason why.

OpenClaw skill for Xueqiu (雪球) — auto-fetch KOL posts & watchlist quotes, then generate investment summary reports with AI.

一个让飞书文档配图不再痛苦的画图技能:支持输入一句话、一张参考图或某个文档,自动设计并输出结构清晰、可二次编辑的飞书画板,而不是一张死板的静态截图。

Claude Code skill: turn one talking-head take into a kinetic supers + camera whips prompt for Seedance 2.0 Fast — same face, same room, same lip sync, no editing timeline.

Replicate anyone's thinking style as an AI persona — then chat with them anytime.

Claude Code / Copilot CLI and Codex plugin packaging for idasql — a live SQL interface to IDA Pro databases.