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

Manage multiple Claude Code configuration profiles. Switch between work and personal accounts, different MCP server setups, or separate settings without logging in and out.

This repository provides reusable configuration layers for Claude Code that enable sophisticated agent orchestration across projects—from solo development to enterprise-scale workflows.

OpenSpec + Superpowers workflow orchestrator for agentic development.

AI-driven build of enterprise-grade n8n workflows from natural-language sticky notes or existing codebases.

SciDER: Scientific Data-centric End-to-end Researcher

for Claude Code. Scrapes long-running winning ads from the Meta Ad Library, tears down the video creative frame by frame, then acts as your CMO to generate aligned ad copy and image/video variations...

一套可直接使用的 AI skill 工具包——把《毛泽东选集》第 1-5 卷中的认知方法、战略判断、组织管理和执行方法拆成了 25 个可单独触发、也可组合调用的方法论模块。

This plugin transforms Claude from a code generator into a world-class web designer. It injects real design thinking -- typography systems, color theory, animation vocabulary, layout patterns, and 3D...

You say what you want. AutoCode builds it, deploys it, and gives you a live URL. You don't need to know programming. You just say yes or no.

本项目提供完整的免杀解决方案,包括Shellcode处理和Loader编写,利用AI生成高免杀效果的恶意代码载体,绕过主流杀软和EDR检测。

주제, 주요 내용, 대상 독자만 주면 리서치부터 EPUB 빌드까지 한 번에 수행하는 **다. v1.3.0부터 **을 지원한다 — 기술서(Toby 문체)·소설·실용서(요리/여행)·에세이. 장르는 자동 감지 후 확인하며, 기본값은 tech-book이다 (아래 장르 프로필 참고).

A Journal of Finance style reference for academic writing in financial economics. Distilled from 144 JF papers (Continuously updated) published between 2022 and 2025.