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

Outline mid-size feature RFCs: motivation, design options, migration, and rollback — with fill-in questions for engineers.

🚀 OpenManus-Max An Advanced Autonomous AI Agent Framework with Multi-Level Permissions & Trust Attenuation

Complete Claude Code plugin marketplace — agents, skills, hooks, commands, rules, MCPs.

AI skill for typed, auditable workflow graphs, conditional routing, evidence-gated evolution, and validation. Includes full source, examples, and tests.

A flexible and powerful AI agent library for Python, designed to build agents with tool support, multimodal capabilities, and streaming responses.

A collection of advanced agentic tools, skills, and workflows designed for the Antigravity AI coding assistant.

面向中文用户的 。项目基于 learn-claude-code 的 Agent 工程思路改造,用 Python + Aliyun DashScope/Qwen 实现一个只读 PR Review Agent:读取 Git diff 和 PR 描述,组织多个 reviewer 生成候选问题,再通过 debate loop 对 finding...

- : write in rich text or raw Markdown, switch anytime - : fully Obsidian-compatible - : a daily capture stream for quick notes, accessible from anywhere - inspired by Raycast: find anything as you...

A tiny skill that surfaces relevant terms of art as you work with agents, growing your domain vocabulary over time

一个可开新档的 AI 健身教练框架:训练记录、RPG 属性成长、剧情推进三者联动

A Swift library for macOS automation — mouse, keyboard, screenshots, image recognition, and AI-powered agents.

macOS 可用 · Windows beta · DeepSeek API key · 非商业使用 English README