Cursor インストールガイド
開発者向け MCP サーバーとよく使われる AI コードエディタ。
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
Claude Code 学术研究技能合集 — 深度调研 · 论文写作 · 同行评审 · 人物思维蒸馏
A Claude Code skill that turns vague requirements into production-grade specs — by interviewing you like a senior architect would.
这是一个用于微信公众号自动发文工作流的完整 Skill，目标是把“环境准备 → 资讯整理 → 写稿 → 图片准备 → 草稿发布 → 正式发布 → 结果归档 → 定时调度”整理为一套可复现、可交付、可扩展的本地工作流。
An index of free playbooks for marketing, CRM, team-building, and leadership tasks. Each links to its full page on andrewluxem.com.
一个融合了 42 位世界级产品大师思维模型的 AI Skill，帮你做好每一个产品决策。
Interactive clarification flows for Pi coding agent
Start at jaredrhod.com: pick your situation and it routes you to the right path.
Enterprise AI Agent Security Toolkit - SKILL.md Driven Active Defense
Architecture Decision Records as executable specifications for coding agents. An agent reads the ADR and implements the decision. A human reviews and approves.
Yi3D is a simple and easy-to-use 3D modeling application, available on Windows and Linux.
AI Skills for Everyone：人人都能用的开源 AI 技能库（⚠️ Alpha内测版）
上传一张图片，AI 分析后生成结构化 JSON + 平文本提示词，可用于还原/复刻该图片。