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

Due-Process Review for Bounded LaTeX Revision

一个面向 claude code / Codex / OpenClaw 的跨境电商和国内电商通用视觉创作 Skill。GPT-Image-2 上线以来,电商圈已经被刷屏了。图像生成的边界,如今又被推了一大步。下面是我精选的 25个高质量案例,涵盖纯色底产品主图、场景化生活图、平铺图、电商详情图、真实场景等等,全部配完整提示词,都可以利用 GPT-Image-2 API生成最终效果。

Universal memory layer for AI Agents

Agent Skills for Google products and technologies

Meteor, the JavaScript App Platform

Marketing skills for Claude Code and AI agents. CRO, copywriting, SEO, analytics, and growth engineering.

hongyangandroid/blog_ai agent skill.

Potpie turns your codebase and software development lifecycle into a living context graph for AI agents.

Skills Catalog for Codex

Code for Machine Learning for Trading, 3rd edition — from data sourcing to live execution.

Craft AI-driven interface effortlessly🤖

Effortlessly compose, extend, and observe every service in real-time for the first time ever.