Cursor インストールガイド
開発者向け MCP サーバーとよく使われる AI コードエディタ。
MCP Servers
MCP server that gives AI assistants searchable access to MikroTik RouterOS documentation — 363 pages extracted live from MikroTik's official Docusaurus manual (https://manual.mikrotik.
██╗ ██╗██╗███████╗██╗ ██████╗ ███╗ ██╗ ██║ ██║██║██╔════╝██║██╔═══██╗████╗ ██║ ██║ ██║██║███████╗██║██║ ██║██╔██╗ ██║ ╚██╗ ██╔╝██║╚════██║██║██║ ██║██║╚██╗██║ ╚████╔╝ ██║███████║██║╚██████╔╝██║...
一个基于模型上下文协议(MCP)的航空机票查询服务器。该服务器为AI助手提供标准化的航班实时动态查询功能接口。
Gomaa — Autonomous Agent Memory OS. Persistent memory system for AI agents with Obsidian vault integration, hybrid RRF search, knowledge graphs, security gates, and MCP server.
An MCP server for Rocq (formerly Coq) proof development. It exposes compilation, verification, querying, and interactive tactic stepping as MCP tools, so that LLM agents can write and check Rocq...
This project provides a modular, resource-oriented FastMCP server for interacting with Microsoft Graph API.
Cities Skylines 2 MCP
Put Claude Code, Cursor, Codex, Gemini & Antigravity in one room — real-time multi-agent AI collaboration over MCP for distributed dev, code review, PR handoff & frontend↔backend integration.
Wot UI 的 AI 能力工具集：Skills、MCP 协议与 CLI 工具等
A command-line interface for MCP servers. curl for MCP.
Skarn plugins for Claude Code, Codex CLI, Gemini CLI, Grok Build, and Antigravity: audit skills, guard hooks, and MCP declarations that find leaked secrets and credentials in AI coding sessions,...
An MCP server that gives AI assistants direct access to your Help Scout inboxes, conversations, customers, organizations, threads, and Docs knowledge base.
