Cursor 安装指南
常与开发类 MCP Server 搭配使用的 AI 代码编辑器。
MCP Servers
MCP Server and Kali API Server- With Claude Desktop Integ
This project provides a modular, resource-oriented FastMCP server for interacting with Microsoft Graph API.
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...
把多模型 Provider、本地密钥和 HeavySkill 讨论统一成 MCP 网关 | Local MCP gateway for multi-provider LLM routing, secrets, and HeavySkill discussions.
一个基于模型上下文协议(MCP)的航空机票查询服务器。该服务器为AI助手提供标准化的航班实时动态查询功能接口。
All exfiltration in this PoC targets localhost (127.0.0.1:9999) only. This project exists to demonstrate a novel class of attack against MCP-enabled AI agents to drive improvements in MCP client...
Turn any video — YouTube, Instagram, TikTok, Loom, X, Vimeo, direct links, local files — into transcripts, key frames, OCR text, and metadata for AI agents.
MCP server to give every agent an ephemeral Linux sandboxes for executing shell commands.
Give your AI coding agent the ability to create, read, and edit Word documents. Edits appear as tracked changes in Microsoft Word — red strikethrough for deletions, green underline for insertions —...
Stockfish + LLM chess coach: an MCP server and web board that explain your mistakes in plain English
engawa (縁側/檐廊): a porch for your agent — tonight's moon, a painting a day, a poem, a curated feed shelf. 12 tools, all free & loginless. MCP server.
CLI for Tana integration - query, create, sync, and manage Tana workspaces with semantic search and MCP Server
Agent Skills
NeMo Gym is a library for evaluating and improving models and agents using environments. NeMo Gym provides infrastructure to develop environments, scalably run evaluation and training, and a...
· · · crafted on a 24×24 grid and trusted by 500,000+ developers.
fly ai agent skill