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
Ten structured AI skills for evaluating and improving UI designs — covering visual hierarchy, typography, color, spacing, buttons, clutter, empty states, shadows, contrast, and grouping.
你的老板开会总爱追着问 impact、风险和 owner？ 他一句“这个先别做”背后其实有一整套判断标准？ 你总感觉自己不是不会做事，而是不知道该怎么向上同步、怎么报风险、怎么要资源？
Your AI agent writes code. Nanostack makes sure it ships work you can trust.
Agent-readable design systems for product UI.
Give your AI coding agent eight structured ways to find a better product direction — not just another feature to ship. A router diagnoses how you're stuck and picks the right move.
🌊 基于复杂自适应系统（CAS）理论的 Agent-Native 通用人类社会行为预测引擎
These skills were built by Oria — the AI purpose-built for complex, consulting-grade slides: presentation-quality decks worth top-tier consulting rates, ready to put in front of a CEO. Learn more at .
uni-app + Vite + Vue 3 + Tailwind CSS 的 VS Code 模板。
每小时自动从抖音创作者后台导出数据，零 API Key，纯 AppleScript 硬刚 Chrome。
Spider King 是一套面向 Web 协议恢复、参数还原、挑战链路拆解与纯协议交付的逆向工程 Skill。
A compact, operational constitution that turns frontier coding agents (Claude Code, Cursor, etc.) from eager-junior behavior into disciplined principal-engineer execution.
Autonomous formalization of research-level mathematics in Lean 4